Index: kernel/arch/arm32/include/arch/arch.h
===================================================================
--- kernel/arch/arm32/include/arch/arch.h	(revision 9a08e6bddeb3cffb3e0438813da2a3084dcd33c5)
+++ kernel/arch/arm32/include/arch/arch.h	(revision 6a66923cb1c677426a3e4763010f7be9d81a0449)
@@ -55,5 +55,5 @@
 } bootinfo_t;
 
-extern void arch_pre_main(void *entry, bootinfo_t *bootinfo);
+extern void arm32_pre_main(void *entry, bootinfo_t *bootinfo);
 
 #endif