[coreboot-gerrit] New patch to review for coreboot: 681e511 Fix some minor Kconfig issues