Index: uspace/drv/char/atkbd/main.c
===================================================================
--- uspace/drv/char/atkbd/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/atkbd/main.c	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -34,5 +34,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>
Index: uspace/drv/char/i8042/main.c
===================================================================
--- uspace/drv/char/i8042/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/i8042/main.c	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -35,5 +35,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <libarch/config.h>
 #include <ddf/driver.h>
Index: uspace/drv/char/ps2mouse/main.c
===================================================================
--- uspace/drv/char/ps2mouse/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/ps2mouse/main.c	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -33,5 +33,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>
Index: uspace/drv/char/xtkbd/main.c
===================================================================
--- uspace/drv/char/xtkbd/main.c	(revision cccd60c3524a3bb23ce0db2ce5c33c181326931e)
+++ uspace/drv/char/xtkbd/main.c	(revision cf13b1787530fe212a0ac74399fd6d4b0f096731)
@@ -34,5 +34,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>