u-boot/configs/ts4800_defconfig