[coreboot-gerrit] Patch merged into coreboot/master: f6763db wtm1/wtm2/baskingridge: Enable TPM ACPI device