[coreboot-gerrit] Patch merged into coreboot/master: ad488d2 src/console/Kconfig: Fix choice for showing POST codes on console