Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision e49e2348e7647a4dd4d4e2879082790396c4f4f3)
+++ kernel/arch/amd64/src/amd64.c	(revision bf25efb0b361ed9f7b43f5db17457fa376e1bd25)
@@ -64,4 +64,5 @@
 #include <ddi/irq.h>
 #include <ddi/device.h>
+#include <sysinfo/sysinfo.h>
 
 
@@ -174,7 +175,15 @@
 void arch_post_smp_init(void)
 {
+	devno_t devno = device_assign_devno();
 	/* keyboard controller */
-	(void) i8042_init((i8042_t *) I8042_BASE, device_assign_devno(),
-	    IRQ_KBD);
+	(void) i8042_init((i8042_t *) I8042_BASE, devno, IRQ_KBD);
+
+	/*
+	 * This is the necessary evil until the userspace driver is entirely
+	 * self-sufficient.
+	 */
+	sysinfo_set_item_val("kbd", NULL, true);
+	sysinfo_set_item_val("kbd.devno", NULL, devno);
+	sysinfo_set_item_val("kbd.inr", NULL, IRQ_KBD);
 }