uboot/board/cmi/Kconfig