Index: uspace/drv/char/i8042/i8042.c
===================================================================
--- uspace/drv/char/i8042/i8042.c	(revision 702536882b248833b02d3693809a7bb0f21bcbd1)
+++ uspace/drv/char/i8042/i8042.c	(revision ec85df023cbda2e09fb239a04dfe53f2b94df685)
@@ -41,5 +41,4 @@
 #include <device/hw_res.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 #include <errno.h>
 #include <str_error.h>
Index: uspace/drv/char/ns8250/ns8250.c
===================================================================
--- uspace/drv/char/ns8250/ns8250.c	(revision 702536882b248833b02d3693809a7bb0f21bcbd1)
+++ uspace/drv/char/ns8250/ns8250.c	(revision ec85df023cbda2e09fb239a04dfe53f2b94df685)
@@ -51,5 +51,4 @@
 #include <sys/stat.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 
 #include <ddf/driver.h>