u-boot/configs/T4240RDB_SDCARD_defconfig