Index: generic/src/console/kconsole.c
===================================================================
--- generic/src/console/kconsole.c	(revision 973be64e8e922f2fbbbb92f7f7cddc8125f9e36b)
+++ generic/src/console/kconsole.c	(revision 208189f478f1065037c19230498c75f6cb6d2644)
@@ -150,5 +150,4 @@
 	link_t *cur;
 	
-	ipl = interrupts_disable();
 	spinlock_lock(&cmd_lock);
 	
@@ -164,5 +163,4 @@
 			/* The command is already there. */
 			spinlock_unlock(&cmd_lock);
-			interrupts_restore(ipl);
 			return 0;
 		}
@@ -182,5 +180,4 @@
 			spinlock_unlock(&cmd->lock);
 			spinlock_unlock(&cmd_lock);
-			interrupts_restore(ipl);
 			return 0;
 		}
@@ -196,5 +193,4 @@
 	
 	spinlock_unlock(&cmd_lock);
-	interrupts_restore(ipl);
 	return 1;
 }
@@ -247,5 +243,4 @@
 	}
 
-	ipl = interrupts_disable();
 	spinlock_lock(&cmd_lock);
 	
@@ -269,5 +264,4 @@
 		/* Unknown command. */
 		printf("Unknown command.\n");
-		interrupts_restore(ipl);
 		return NULL;
 	}
@@ -288,5 +282,4 @@
 			printf("Too few arguments.\n");
 			spinlock_unlock(&cmd->lock);
-			interrupts_restore(ipl);
 			return NULL;
 		}
@@ -310,10 +303,8 @@
 		printf("Too many arguments.\n");
 		spinlock_unlock(&cmd->lock);
-		interrupts_restore(ipl);
 		return NULL;
 	}
 	
 	spinlock_unlock(&cmd->lock);
-	interrupts_restore(ipl);
 	return cmd;
 }
@@ -369,5 +360,4 @@
 	ipl_t ipl;
 
-	ipl = interrupts_disable();
 	spinlock_lock(&cmd_lock);
 	
@@ -384,5 +374,4 @@
 	
 	spinlock_unlock(&cmd_lock);	
-	interrupts_restore(ipl);
 
 	return 1;
@@ -400,5 +389,4 @@
 	ipl_t ipl;
 
-	ipl = interrupts_disable();
 	spinlock_lock(&cmd_lock);
 	
@@ -421,5 +409,4 @@
 	
 	spinlock_unlock(&cmd_lock);	
-	interrupts_restore(ipl);
 
 	return 1;