coreboot

The issue seems to be that the T520 is always including tpm.asl, but has CONFIG_LPC_TPM disabled by default. It looks like this ends up creating an ACPI operating region of length 0x5000, but without an offset (maybe it uses an offset of 0?)

Two solutions I see -

1. Enable TPM by default on these platforms.
2. Only include TPM.asl into ACPI if the TPM is enabled in the code.

I'll push a patch for option 2 since these aren't platforms I typically work on.

commit f7fd6306 (tpm/acpi/tpm.asl: Only include tpm.asl if tpm is enabled) seems to have fixed the issue. Closing.