Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 9688513053f7f16516b100b89f79fae37a7695b5)
+++ kernel/arch/amd64/src/amd64.c	(revision f542825fed6544dd459953d9391c3a004f2acd22)
@@ -175,5 +175,6 @@
 {
 	/* keyboard controller */
-	i8042_init(device_assign_devno(), IRQ_KBD, device_assign_devno(), IRQ_MOUSE);
+	(void) i8042_init((i8042_t *) I8042_BASE, device_assign_devno(),
+	    IRQ_KBD);
 }