Re: [coreboot] Kconfig: convert dependency lists into HAVE_x properties