Index: kernel/arch/ppc32/src/boot/boot.S
===================================================================
--- kernel/arch/ppc32/src/boot/boot.S	(revision b66cc977e145eaa74a7e9fe52a4a2e995c81ad02)
+++ kernel/arch/ppc32/src/boot/boot.S	(revision e540424a7c9a950b6376a4c5b7b7ec9a4478c91a)
@@ -48,5 +48,5 @@
 	
 	addis r3, r3, 0x8000
-	bl arch_pre_main
+	bl ppc32_pre_main
 	b main_bsp