[coreboot] New patch to review for coreboot: 35cd061 Add DEBUG_TPM option to Debugging menu