Re: [coreboot] more Kconfig fixes