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