uboot/board/t3corp/Kconfig