Index: kernel/genarch/include/drivers/dsrln/dsrlnin.h
===================================================================
--- kernel/genarch/include/drivers/dsrln/dsrlnin.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/genarch/include/drivers/dsrln/dsrlnin.h	(revision 63f89665fc0283c1661274dc636d5a66e03d48b4)
@@ -39,5 +39,4 @@
 
 #include <ddi/irq.h>
-#include <arch/types.h>
 #include <console/chardev.h>
 #include <typedefs.h>
Index: kernel/genarch/include/drivers/dsrln/dsrlnout.h
===================================================================
--- kernel/genarch/include/drivers/dsrln/dsrlnout.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/genarch/include/drivers/dsrln/dsrlnout.h	(revision 63f89665fc0283c1661274dc636d5a66e03d48b4)
@@ -38,5 +38,4 @@
 #define KERN_DSRLNOUT_H_
 
-#include <arch/types.h>
 #include <typedefs.h>
 #include <console/chardev.h>