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;