Index: kernel/arch/sparc64/src/drivers/i8042.c
===================================================================
--- kernel/arch/sparc64/src/drivers/i8042.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/sparc64/src/drivers/i8042.c	(revision c6e314a78bffc7c64e7095fea28ffc280b031237)
@@ -35,4 +35,5 @@
 #include <arch/drivers/i8042.h>
 #include <genarch/i8042/i8042.h>
+#include <arch/boot/boot.h>
 #include <arch/types.h>
 #include <arch/mm/page.h>
@@ -42,5 +43,5 @@
 void kbd_init()
 {
-	kbd_virt_address = (uint8_t *) hw_map(KBD_PHYS_ADDRESS, LAST_REG);
+	kbd_virt_address = (uint8_t *) hw_map(bootinfo.keyboard.addr, LAST_REG);
 	i8042_init();
 }