Index: kernel/arch/ia32/include/arch.h
===================================================================
--- kernel/arch/ia32/include/arch.h	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/ia32/include/arch.h	(revision 1f5c9c96476a03a43ef971cbc095c9553338eaf6)
@@ -36,7 +36,7 @@
 #define KERN_ia32_ARCH_H_
 
-#include <genarch/multiboot/multiboot.h>
+#include <typedefs.h>
 
-extern void arch_pre_main(uint32_t, const multiboot_info_t *);
+extern void arch_pre_main(uint32_t, void *);
 
 #endif