Index: kernel/arch/amd64/include/arch/arch.h
===================================================================
--- kernel/arch/amd64/include/arch/arch.h	(revision 609f8d9c6d0e72a0c344e3c83a606bc97d14af74)
+++ kernel/arch/amd64/include/arch/arch.h	(revision 659ebd864ea1645b612057cc3cfc1ca2cfe9c5b6)
@@ -36,7 +36,5 @@
 #define KERN_amd64_ARCH_H_
 
-#include <genarch/multiboot/multiboot.h>
-
-extern void arch_pre_main(uint32_t, void *);
+extern void amd64_pre_main(uint32_t, void *);
 
 #endif