Index: arch/ppc32/src/mm/memory_init.c
===================================================================
--- arch/ppc32/src/mm/memory_init.c	(revision 448743faad429fa6c2d3aee5cedc3d677ca2ff1b)
+++ arch/ppc32/src/mm/memory_init.c	(revision 50de918ee03e2d69dce7bc2641ba60d65d2fcbf7)
@@ -44,4 +44,4 @@
 	
 	for (i = 0; i < bootinfo.memmap.count; i++)
-		printf("base: %L size: %L\n", bootinfo.memmap.zones[i].start, bootinfo.memmap.zones[i].size);
+		printf("base: %#X size: %#X\n", bootinfo.memmap.zones[i].start, bootinfo.memmap.zones[i].size);
 }