[coreboot-gerrit] Patch set updated for coreboot: 51c6758 console: Remove DEBUG_SMI temporarily