Re: [coreboot] kconfig options