uboot/board/intel/galileo/Kconfig