1setenv kernelname zImage; 2setenv boot_kernel "setenv bootargs \"${console} root=/dev/mmcblk${mmcrootdev}p${mmcrootpart} rootfstype=${rootfstype} rootwait ${opts}\"; 3load mmc ${mmcbootdev}:${mmcbootpart} 0x40007FC0 '${kernelname}'; 4if load mmc ${mmcbootdev}:${mmcbootpart} 40800000 ${fdtfile}; then 5 bootz 0x40007FC0 - 40800000; 6else 7 echo Warning! Booting without DTB: '${fdtfile}'!; 8 bootz 0x40007FC0 -; 9fi;" 10run boot_kernel;