[coreboot] Patch merged into coreboot/master: 686dc0d Kconfig: string option doesn't work properly inside choice section