Index: uspace/drv/char/xtkbd/main.c
===================================================================
--- uspace/drv/char/xtkbd/main.c	(revision c072a292c19db94ad89515ef948e5fabe05dc9f1)
+++ uspace/drv/char/xtkbd/main.c	(revision 95c675b4aa3fea7b424b73892a90b052c673cfd3)
@@ -34,5 +34,5 @@
  */
 
-#include <libarch/inttypes.h>
+#include <inttypes.h>
 #include <ddf/driver.h>
 #include <device/hw_res_parsed.h>