u-boot/board/traverse/ten64/Kconfig