}
                a1 = initrd.addr;
                a2 = initrd.size;
-               printf("initial ramdisk moving 0x%lx <- 0x%lx (%lx bytes)\n\r",
+               printf("initial ramdisk moving 0x%lx <- 0x%lx (0x%lx bytes)\n\r",
                       initrd.addr, (unsigned long)_initrd_start, initrd.size);
                memmove((void *)initrd.addr, (void *)_initrd_start, initrd.size);
-               printf("initrd head: 0x%lx\n\r", *((u32 *)initrd.addr));
+               printf("initrd head: 0x%lx\n\r", *((unsigned long *)initrd.addr));
        }
 
        /* Eventually gunzip the kernel */
 
        flush_cache((void *)vmlinux.addr, vmlinux.size);
 
-       if (a1)
-               printf("initrd head: 0x%lx\n\r", *((u32 *)initrd.addr));
-
        kernel_entry = (kernel_entry_t)vmlinux.addr;
 #ifdef DEBUG
        printf( "kernel:\n\r"