Index: kernel/genarch/include/drivers/legacy/ia32/io.h
===================================================================
--- kernel/genarch/include/drivers/legacy/ia32/io.h	(revision 9979acb60a5eb42e08938818e5cc4fd945626555)
+++ kernel/genarch/include/drivers/legacy/ia32/io.h	(revision 76ca3f71d74c1d5be0fae6bcc28f1f663a624ea2)
@@ -38,5 +38,5 @@
 #define KERN_LEGACY_IA32_IO_H
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #define I8042_BASE    ((ioport8_t *) 0x60)