Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision fd67c9f8dcdd34e9ee9ae504ae566e0d47cebb67)
+++ kernel/arch/amd64/src/amd64.c	(revision 534bcdf6f87db58a9f44fa4244510aeed09d0c4e)
@@ -121,6 +121,5 @@
 		/* PIC */
 		i8259_init((i8259_t *) I8259_PIC0_BASE,
-		    (i8259_t *) I8259_PIC1_BASE, IRQ_PIC1, IVT_IRQBASE,
-		    IVT_IRQBASE + 8);
+		    (i8259_t *) I8259_PIC1_BASE, IRQ_PIC1, IVT_IRQBASE);
 
 		/*