uboot/board/kup/kup4k/Kconfig