[coreboot] Re: Problem with Kconfig: warning: defaults for choice values not supported ?