[coreboot] x60 : TPM (and LEDs) point to ACPI issues