Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision a773b8b018e3509e70f093d1ff08a0946b7dfe40)
+++ kernel/arch/ia32/src/ia32.c	(revision d6dc9a121d673c915860fb0070e7ac23defa2d45)
@@ -112,4 +112,13 @@
 		    (i8259_t *) I8259_PIC1_BASE, IRQ_PIC1, IVT_IRQBASE,
 		    IVT_IRQBASE + 8);
+
+		/*
+		 * Set the enable/disable IRQs handlers.
+		 * Set the End-of-Interrupt handler.
+		 */
+		enable_irqs_function = pic_enable_irqs;
+		disable_irqs_function = pic_disable_irqs;
+		eoi_function = pic_eoi;
+		irqs_info = "i8259";
 	}
 }