Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision 7e5897971c2ec9ea1f833d1f148bc179a7abf5a7)
+++ kernel/arch/ia32/src/smp/apic.c	(revision eaf6cd60a4b964e9d1c8fbefc0d30d37d565a53d)
@@ -170,4 +170,5 @@
 	
 	irq_initialize(&l_apic_timer_irq);
+	l_apic_timer_irq.preack = true;
 	l_apic_timer_irq.devno = device_assign_devno();
 	l_apic_timer_irq.inr = IRQ_CLK;
