Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/ia32/src/ia32.c	(revision 89b1b64f71aaaf3d8f3db35a293d36cb6056e718)
@@ -158,4 +158,8 @@
 	sysinfo_set_item_val("kbd.devno", NULL, devno);
 	sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
+	sysinfo_set_item_val("kbd.address.physical", NULL,
+	    (uintptr_t) I8042_BASE);
+	sysinfo_set_item_val("kbd.address.kernel", NULL,
+	    (uintptr_t) I8042_BASE);
 }