--- wrong_image.txt	2016-03-11 15:36:31.473062507 +0100
+++ working_image.txt	2016-03-11 15:41:51.459094684 +0100
@@ -1 +1 @@
-U-Boot 2016.03-rc3 (Mar 07 2016 - 19:13:07 +0000)
+U-Boot 2016.03-rc2 (Feb 26 2016 - 21:55:58 +0000)
@@ -32 +31,0 @@
-boot_efi_binary=load ${devtype} ${devnum}:${distro_bootpart} ${kernel_addr_r} efi/boot/bootarm.efi; bootefi ${kernel_addr_r}
@@ -34,0 +34 @@
+boot_prefixes=/ /boot/
@@ -46 +45,0 @@
-efi_dtb_prefixes=/ /dtb/ /dtb/current/ /boot/ /boot/dtb/ /boot/dtb/current/
@@ -54 +52,0 @@
-load_efi_dtb=load ${devtype} ${devnum}:2 ${fdt_addr_r} ${prefix}${fdtfile}; fdt addr ${fdt_addr_r}
@@ -60 +58 @@
-scan_dev_for_boot=echo Scanning ${devtype} ${devnum}:${distro_bootpart}...; for prefix in ${boot_prefixes}; do run scan_dev_for_extlinux; run scan_dev_for_scripts; done;run scan_dev_for_efi;
+scan_dev_for_boot=echo Scanning ${devtype} ${devnum}:${distro_bootpart}...; for prefix in ${boot_prefixes}; do run scan_dev_for_extlinux; run scan_dev_for_scripts; done
@@ -62 +59,0 @@
-scan_dev_for_efi=for prefix in ${efi_dtb_prefixes}; do if test -e ${devtype} ${devnum}:2 ${prefix}${fdtfile}; then run load_efi_dtb; fi;done;if test -e ${devtype} ${devnum}:${distro_bootpart} efi/boot/bootarm.efi; then echo Found EFI removable media binary efi/boot/bootarm.efi; run boot_efi_binary; echo EFI LOAD FAILED: continuing...; fi; boot_prefixes=/ /boot/
@@ -66 +62,0 @@
-serial#=00000000b6c0717f
@@ -75 +71 @@
-Environment size: 3115/16380 bytes
+Environment size: 2419/16380 bytes