[coreboot-gerrit] New patch to review for coreboot: ae579f8 console: Remove old fix for DEBUG_SMI