Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 057d21af95b6d9e801a14c4a6e6e4a784ad3dfd7)
+++ kernel/generic/src/ipc/kbox.c	(revision 15b8e495a50e2460c084a79b7002f55d37a04f7e)
@@ -137,5 +137,5 @@
 		/* Only detach kbox thread unless already terminating. */
 		mutex_lock(&TASK->kb.cleanup_lock);
-		if (&TASK->kb.finished == false) {
+		if (TASK->kb.finished == false) {
 			/* Detach kbox thread so it gets freed from memory. */
 			thread_detach(TASK->kb.thread);