Re: [coreboot] Another Kconfig patch