Index: arch/mips32/src/drivers/msim.c
===================================================================
--- arch/mips32/src/drivers/msim.c	(revision e600ec4189d091952874647f99f26f74d3dc7e89)
+++ arch/mips32/src/drivers/msim.c	(revision beec330c15f426e89a290e7b1060eadcd98ccad9)
@@ -123,5 +123,6 @@
 void msim_kbd_release(void)
 {
-	int_register(MSIM_KBD_IRQ, "user_interrupt", oldvector);
+	if (oldvector)
+		int_register(MSIM_KBD_IRQ, "user_interrupt", oldvector);
 }