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