[coreboot-gerrit] New patch to review for coreboot: 4c48d91 Kill ENABLE_TPM.