Index: kernel/arch/amd64/include/arch.h
===================================================================
--- kernel/arch/amd64/include/arch.h	(revision c22531fc62cd27d622d0595337655d0ea0e4fbc1)
+++ kernel/arch/amd64/include/arch.h	(revision 5ca08d47562c3f0868053556c6ff150271efef66)
@@ -38,5 +38,5 @@
 #include <genarch/multiboot/multiboot.h>
 
-extern void arch_pre_main(uint32_t, const multiboot_info_t *);
+extern void arch_pre_main(uint32_t, void *);
 
 #endif
Index: kernel/arch/amd64/include/boot/boot.h
===================================================================
--- kernel/arch/amd64/include/boot/boot.h	(revision c22531fc62cd27d622d0595337655d0ea0e4fbc1)
+++ kernel/arch/amd64/include/boot/boot.h	(revision 5ca08d47562c3f0868053556c6ff150271efef66)
@@ -40,7 +40,4 @@
 #define BOOT_STACK_SIZE  0x000400
 
-#define MULTIBOOT_HEADER_MAGIC  0x1BADB002
-#define MULTIBOOT_HEADER_FLAGS  0x00010003
-
 #ifndef __ASM__