[coreboot-gerrit] Patch merged into coreboot/master: 543aa7b kconfig: add named choice group