Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 170332d3d135e4a1d5f7b7ffcec5cc352b6faa1b)
+++ kernel/arch/mips32/src/debugger.c	(revision 556f9892d2e10c220ff5474d54af02f68faf6925)
@@ -164,4 +164,5 @@
 			printf("Duplicate breakpoint %d.\n", i);
 			spinlock_unlock(&bkpoint_lock);
+			interrupts_restore(ipl);
 			return 0;
 		} else if (breakpoints[i].address == (uintptr_t)argv->intval +
@@ -171,4 +172,5 @@
 			    "with %d.\n", i);
 			spinlock_unlock(&bkpoint_lock);
+			interrupts_restore(ipl);
 			return 0;
 		}