Index: kernel/arch/ia32/include/drivers/i8254.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8254.h	(revision 0e0490bd48ae43cfc5d71d6ee75ebaafa5e6f20e)
+++ kernel/arch/ia32/include/drivers/i8254.h	(revision 04803bf8f1da7bdbf5ff9493b1ebf9a322103841)
@@ -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);