Comment 9 for bug 2034715

> log output of the failed boot?

Rather boring, or maybe that is itself a clue:

```
/EndEntire
/EndEntire
<screen clear>
[timestamp] x86/cpu: SGX disabled by BIOS.
Please enter the recovery key for disk /dev/disk/by-partuuid/<uuid>: (press TAB for no echo)
```

> device details

Not sure what would be relevant here. TPM info from dmesg below, tarball of logs attached.
kernel: tpm_tis MSFT0101:00: 2.0 TPM (device-id 0x1A, rev-id 16)