[coreboot] Patch set updated for coreboot: ef1210f Add DEBUG_TPM option to Debugging menu