Index: kernel/arch/ia32/include/drivers/i8254.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8254.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/include/drivers/i8254.h	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
@@ -36,6 +36,4 @@
 #define KERN_ia32_I8254_H_
 
-#include <arch/types.h>
-
 extern void i8254_init(void);
 extern void i8254_calibrate_delay_loop(void);
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
@@ -36,5 +36,5 @@
 #define KERN_ia32_I8259_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/interrupt.h>
 
Index: kernel/arch/ia32/include/drivers/vesa.h
===================================================================
--- kernel/arch/ia32/include/drivers/vesa.h	(revision a71c158ef82122abfeef92f86344709bbad55d17)
+++ kernel/arch/ia32/include/drivers/vesa.h	(revision 8e374ea71403569c82edd76a6713a88b1a9d12a8)
@@ -36,5 +36,5 @@
 #define KERN_ia32_VESA_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 extern bool vesa_init(void);