[coreboot-gerrit] Patch set updated for coreboot: b60493e samus: Declare TPM in devicetree.cb and include ACPI device