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