u-boot/board/technologic/ts4800/ts4800.h