Re: [coreboot] clean up intel Kconfig/Makefile.inc usage