[coreboot-gerrit] Patch merged into coreboot/master: ed3d0e8 src/device/Kconfig: fix typo in label "1024x768 256-color"