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