Index: kernel/genarch/src/multiboot/multiboot.c
===================================================================
--- kernel/genarch/src/multiboot/multiboot.c	(revision 19f857a3b361739b06d4f547174ae4ac1b99c651)
+++ kernel/genarch/src/multiboot/multiboot.c	(revision 48902fa67a128c295367b7df7eaac7d3f2bf3376)
@@ -34,5 +34,4 @@
 
 #include <genarch/multiboot/multiboot.h>
-#include <arch/types.h>
 #include <typedefs.h>
 #include <config.h>