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