board: convert mx51evk to zimage

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>

mk_mmc.sh

@@ -613,7 +613,7 @@ function boot_uenv_txt_template {
 
 		__EOF__
 		;;
-	igepv2|crane|mx51evk)
+	igepv2|crane)
 		cat >> ${TEMPDIR}/bootscripts/netinstall.cmd <<-__EOF__
 			deviceargs=setenv device_args
 			loaduimage=run xyz_mmcboot; run deviceargs; run mmcargs; \${boot} \${address_image} \${address_initrd}
@@ -627,7 +627,7 @@ function boot_uenv_txt_template {
 
 		__EOF__
 		;;
-	mx53loco|panda|panda_es)
+	mx51evk|mx53loco|panda|panda_es)
 		cat >> ${TEMPDIR}/bootscripts/netinstall.cmd <<-__EOF__
 			deviceargs=setenv device_args
 			loaduimage=run xyz_mmcboot; run deviceargs; run mmcargs; \${boot} \${address_image} \${address_initrd}:\${filesize}
@@ -1648,6 +1648,7 @@ function check_uboot_type {
 		INITRD_ADDR="0x92100000"
 		BETA_KERNEL=1
 		SERIAL_MODE=1
+		USE_ZIMAGE=1
 		;;
 	mx53loco)
 		SYSTEM="mx53loco"