Index: kernel/arch/ia32/src/drivers/i8259.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8259.c	(revision dc0b96419120ee5e704d73292cca782d65f45781)
+++ kernel/arch/ia32/src/drivers/i8259.c	(revision f9dd44da8b6e01746d4445f7c5ad99c216e9d165)
@@ -86,4 +86,5 @@
 	disable_irqs_function = pic_disable_irqs;
 	eoi_function = pic_eoi;
+	irqs_info = "i8259";
 
 	pic_disable_irqs(0xffff);		/* disable all irq's */