Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision f619ec11294d6774460c8c5c50473bf484647d12)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision eaf6cd60a4b964e9d1c8fbefc0d30d37d565a53d)
@@ -83,4 +83,5 @@
 {
 	irq_initialize(&i8254_irq);
+	i8254_irq.preack = true;
 	i8254_irq.devno = device_assign_devno();
 	i8254_irq.inr = IRQ_CLK;