Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision 323a5aaf36674c20719d102e0508c32ef466bfa3)
+++ kernel/genarch/src/kbd/i8042.c	(revision b15c9f9d101e4e5f77d50eb9391e1ea614f0e542)
@@ -38,4 +38,7 @@
 
 #include <genarch/kbd/i8042.h>
+#ifdef ia64
+#include <arch/drivers/kbd.h>
+#endif
 #include <genarch/kbd/key.h>
 #include <genarch/kbd/scanc.h>
@@ -185,5 +188,7 @@
 	sysinfo_set_item_val("kbd.devno", NULL, kbd_devno);
 	sysinfo_set_item_val("kbd.inr", NULL, kbd_inr);
-	
+#ifdef KBD_LEGACY
+	sysinfo_set_item_val("kbd.type", NULL, KBD_LEGACY);
+#endif	
 	sysinfo_set_item_val("mouse", NULL, true);
 	sysinfo_set_item_val("mouse.devno", NULL, mouse_devno);