Index: uspace/drv/intctl/obio/obio.c
===================================================================
--- uspace/drv/intctl/obio/obio.c	(revision e8f9bf03cbfc288a4244bd14a7eea0b11f1cb917)
+++ uspace/drv/intctl/obio/obio.c	(revision af9f2713e4ff69fa111b9bbbc7ad69ee5fb841ce)
@@ -42,6 +42,4 @@
  */
 
-#include <align.h>
-#include <as.h>
 #include <async.h>
 #include <ddf/driver.h>