Re: [coreboot] Kconfig status