Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 179d052bd8f476fcf6318dc690211df13a60f86d)
+++ kernel/Makefile	(revision 4acaa7c0d4fdaf4f08ad44578e5a437a7f8dc98f)
@@ -86,5 +86,5 @@
 	OPTIMIZATION = s
 else
-	OPTIMIZATION = 3
+	OPTIMIZATION = 0
 endif
 
Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 179d052bd8f476fcf6318dc690211df13a60f86d)
+++ kernel/generic/src/ipc/kbox.c	(revision 4acaa7c0d4fdaf4f08ad44578e5a437a7f8dc98f)
@@ -140,6 +140,6 @@
 		*last = false;
 	
-	irq_spinlock_unlock(&TASK->kb.box.lock, true);
-	irq_spinlock_unlock(&TASK->lock, false);
+	irq_spinlock_unlock(&TASK->kb.box.lock, false);
+	irq_spinlock_unlock(&TASK->lock, true);
 	
 	mutex_unlock(&TASK->kb.cleanup_lock);