Re: [coreboot] code conflicting with Kconfig