Re: [coreboot] Kconfig suggestion