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