Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 9970a5a5a1c127d9512cdf9695ac5f4384f1fde4)
+++ kernel/arch/ia64/src/ia64.c	(revision f943dd3a2cd9254e12af5d91b1f7097a2c5a6870)
@@ -188,6 +188,4 @@
 	sysinfo_set_item_val("kbd.address.physical", NULL,
 	    (uintptr_t) NS16550_BASE);
-	sysinfo_set_item_val("kbd.address.kernel", NULL,
-	    (uintptr_t) NS16550_BASE);
 #endif