Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision b2fa1204c76e1eaec329888181d281aac04ed61e)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 2f2dd126ebb05a78c169dcb2e64e9f8a9111fde2)
@@ -50,5 +50,4 @@
 #include <arch/cpuid.h>
 #include <arch.h>
-#include <time/delay.h>
 #include <ddi/irq.h>
 #include <ddi/device.h>