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