[coreboot] Patch merged into coreboot/master: 882f7e3 console: Fix using CMOS for options