memory_size = memory_end - memory_start;
                        PAGE_OFFSET = memory_start;
                        printk(KERN_INFO "%s: Main mem: 0x%x-0x%x, "
-                               "size 0x%08x\n", __func__, memory_start,
-                                               memory_end, memory_size);
+                               "size 0x%08x\n", __func__, (u32) memory_start,
+                                       (u32) memory_end, (u32) memory_size);
                        break;
                }
        }
 
        if (!memory_start || !memory_end) {
                panic("%s: Missing memory setting 0x%08x-0x%08x\n",
-                       __func__, memory_start, memory_end);
+                       __func__, (u32) memory_start, (u32) memory_end);
        }
 
        /* reservation of region where is the kernel */