Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 199112e432782018c8245776b42b509dc35985d6)
+++ kernel/arch/ppc32/src/ppc32.c	(revision de3db94a505b69fdd8a2d15b0eaa31f2fd7745a7)
@@ -173,4 +173,6 @@
 		ofw_tree_walk_by_device_type("display", display_register, NULL);
 #endif
+		/* Map OFW information into sysinfo */
+		ofw_sysinfo_map();
 		
 		/* Initialize IRQ routing */