u-boot/board/t3corp/config.mk