Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/arch/mips32/src/mips32.c	(revision dc033a109f5ba532e236382c55cb83e342bdfe06)
@@ -57,5 +57,4 @@
 #include <genarch/srln/srln.h>
 #include <macros.h>
-#include <ddi/device.h>
 #include <config.h>
 #include <string.h>
@@ -167,11 +166,9 @@
 {
 #ifdef CONFIG_MIPS_KBD
-	devno_t devno = device_assign_devno();
-	
 	/*
 	 * Initialize the msim/GXemul keyboard port. Then initialize the serial line
 	 * module and connect it to the msim/GXemul keyboard. Enable keyboard interrupts.
 	 */
-	indev_t *kbrdin = dsrlnin_init((dsrlnin_t *) MSIM_KBD_ADDRESS, devno, MSIM_KBD_IRQ);
+	indev_t *kbrdin = dsrlnin_init((dsrlnin_t *) MSIM_KBD_ADDRESS, MSIM_KBD_IRQ);
 	if (kbrdin) {
 		srln_init(kbrdin);
@@ -184,5 +181,4 @@
 	 */
 	sysinfo_set_item_val("kbd", NULL, true);
-	sysinfo_set_item_val("kbd.devno", NULL, devno);
 	sysinfo_set_item_val("kbd.inr", NULL, MSIM_KBD_IRQ);
 	sysinfo_set_item_val("kbd.address.virtual", NULL, MSIM_KBD_ADDRESS);