Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision 45448840d542ead240f5fefb8c8e9d8f889335c9)
+++ kernel/genarch/src/kbd/i8042.c	(revision d1eece65572d8138c54aa9cabc04bc3ef9f131a9)
@@ -42,4 +42,5 @@
 #include <genarch/kbd/scanc.h>
 #include <genarch/kbd/scanc_pc.h>
+#include <genarch/drivers/legacy/ia32/io.h>
 #include <cpu.h>
 #include <arch/asm.h>
@@ -52,5 +53,5 @@
 
 i8042_instance_t lgcy_i8042_instance = {
-	.i8042 = (i8042_t *) 0x60,
+	.i8042 = (i8042_t *) i8042_BASE,
 };