Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 06f96234f33ae4b1e97f70d3f777e625b701a95f)
+++ kernel/arch/ia64/src/ia64.c	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
@@ -169,9 +169,16 @@
 	(void) ns16550_init((ns16550_t *)NS16550_BASE, devno, inr, NULL, NULL);
 	sysinfo_set_item_val("kbd.type", NULL, KBD_NS16550);
-	sysinfo_set_item_val("kbd.port", NULL, (uintptr_t)NS16550_BASE);
+	sysinfo_set_item_val("kbd.address.physical", NULL,
+	    (uintptr_t) NS16550_BASE);
+	sysinfo_set_item_val("kbd.address.kernel", NULL,
+	    (uintptr_t) NS16550_BASE);
 #else
 	inr = IRQ_KBD;
 	(void) i8042_init((i8042_t *)I8042_BASE, devno, inr);
 	sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY);
+	sysinfo_set_item_val("kbd.address.physical", NULL,
+	    (uintptr_t) I8042_BASE);
+	sysinfo_set_item_val("kbd.address.kernel", NULL,
+	    (uintptr_t) I8042_BASE);
 #endif
 	sysinfo_set_item_val("kbd", NULL, true);