[coreboot] Patch merged into coreboot/master: 5d295e5 Add DEBUG_TPM option to Debugging menu