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