[coreboot] Patch merged into coreboot/master: 1b0c352 coreinfo: change the foreground/background colors