[coreboot] Re: src/soc/intel/xeon_sp/Kconfig:95:warning: config symbol defined without type