Index: arch/ppc32/Makefile.inc
===================================================================
--- arch/ppc32/Makefile.inc	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ arch/ppc32/Makefile.inc	(revision 73e9b49f68fcee880d656c3073aeba64b022fbfc)
@@ -56,4 +56,9 @@
 DEFS += -DCONFIG_PAGE_PT
 
+## Compile with support for software integer division.
+#
+
+CONFIG_SOFTINT = y
+
 ARCH_SOURCES = \
 	arch/$(ARCH)/src/console.c \
Index: arch/ppc32/src/mm/memory_init.c
===================================================================
--- arch/ppc32/src/mm/memory_init.c	(revision f52e54dadbe80854e27bf629c007718c8506e33f)
+++ arch/ppc32/src/mm/memory_init.c	(revision 73e9b49f68fcee880d656c3073aeba64b022fbfc)
@@ -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);
 }