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