u-boot/board/technologic/ts4800/Makefile