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 72bcb25fd2166818d63b580efcafdf265183c0c8)
@@ -83,4 +83,5 @@
 {
 	irq_initialize(&i8254_irq);
+	i8254_irq.preack = true;
 	i8254_irq.devno = device_assign_devno();
 	i8254_irq.inr = IRQ_CLK;