ulong           img_addr;
        ulong           os_data, os_len;
 
+       ulong           image_start, image_end;
+       ulong           load_start, load_end;
+
+
        if (argc < 2) {
                img_addr = load_addr;
        } else {
        dcache_disable();
 #endif
 
+       image_start = (ulong)hdr;
+       image_end = image_get_image_end (hdr);
+       load_start = image_get_load (hdr);
+       load_end = 0;
+
        switch (image_get_comp (hdr)) {
        case IH_COMP_NONE:
                if (image_get_load (hdr) == img_addr) {
                        memmove_wd ((void *)image_get_load (hdr),
                                   (void *)os_data, os_len, CHUNKSZ);
 
+                       load_end = load_start + os_len;
                        puts("OK\n");
                }
                break;
                        show_boot_progress (-6);
                        do_reset (cmdtp, flag, argc, argv);
                }
+
+               load_end = load_start + os_len;
                break;
 #ifdef CONFIG_BZIP2
        case IH_COMP_BZIP2:
                        show_boot_progress (-6);
                        do_reset (cmdtp, flag, argc, argv);
                }
+
+               load_end = load_start + unc_len;
                break;
 #endif /* CONFIG_BZIP2 */
        default:
        puts ("OK\n");
        show_boot_progress (7);
 
+       if ((load_start < image_end) && (load_end > image_start)) {
+               debug ("image_start = 0x%lX, image_end = 0x%lx\n", image_start, image_end);
+               debug ("load_start = 0x%lx, load_end = 0x%lx\n", load_start, load_end);
+
+               puts ("ERROR: image overwritten - must RESET the board to recover.\n");
+               do_reset (cmdtp, flag, argc, argv);
+       }
+
        switch (image_get_type (hdr)) {
        case IH_TYPE_STANDALONE:
                if (iflag)
 
  * MA 02111-1307 USA
  */
 
+#define DEBUG
+
 #include <common.h>
 #include <watchdog.h>
 #include <command.h>
                                of_data = (ulong)of_flat_tree;
 #endif
                } else if (image_check_magic (fdt_hdr)) {
+                       ulong image_start, image_end;
+                       ulong load_start, load_end;
+
                        printf ("## Flat Device Tree at %08lX\n", fdt_hdr);
                        print_image_hdr (fdt_hdr);
 
-                       if ((image_get_load (fdt_hdr) < image_get_image_end (fdt_hdr)) &&
-                          ((image_get_load (fdt_hdr) + image_get_data_size (fdt_hdr)) > (unsigned long)fdt_hdr)) {
+                       image_start = (ulong)fdt_hdr;
+                       image_end = image_get_image_end (fdt_hdr);
+
+                       load_start = image_get_load (fdt_hdr);
+                       load_end = load_start + image_get_data_size (fdt_hdr);
+
+                       if ((load_start < image_end) && (load_end > image_start)) {
                                puts ("ERROR: fdt overwritten - "
                                        "must RESET the board to recover.\n");
                                do_reset (cmdtp, flag, argc, argv);