[coreboot-gerrit] Patch merged into coreboot/master: 11b01a9 Kill ENABLE_TPM.