u-boot/board/kup/kup4x/Kconfig