Re: [coreboot] Kconfig options discussion