u-boot/configs/T4240RDB_defconfig