uboot/board/syteco/jadecpu/Kconfig