2 setenv loadcmd ext2load mmc 0:1
3 setenv kerneladdr 0x16000000;
4 setenv bootargs console=@@CONSOLE_DEVICE@@ root=/dev/mmcblk0p2 ro rootwait vmalloc=384M video=dovefb:lcd0:1920x1080-32@60-edid clcd.lcd0_enable=1 clcd.lcd1_enable=0;
5 ${loadcmd} ${kerneladdr} ${kernel}
6 if imi ${kerneladdr}; then