setenv kernel uImage;
setenv bootargs console=ttymxc0,115200 root=/dev/mmcblk0p2 rootwait ro;
${loadcmd} ${kerneladdr} ${kernel}
if imi ${kerneladdr}; then
  bootm ${kerneladdr}
fi;