[coreboot-gerrit] Patch set updated for coreboot: b6341ed console: Remove old fix for DEBUG_SMI