Index: kernel/generic/include/ddi/device.h
===================================================================
--- kernel/generic/include/ddi/device.h	(revision 84afc7bf42bf4b5e22750a7f377f4bfc31636630)
+++ kernel/generic/include/ddi/device.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,4 @@
 #define KERN_DEVICE_H_
 
-#include <arch/types.h>
 #include <typedefs.h>