[coreboot-gerrit] New patch to review for coreboot: 9e4bc8f Minor Kconfig help text fix