Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision d3145715f4928ba664dc22786d6e0add62328cb0)
+++ kernel/generic/src/proc/thread.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -520,5 +520,4 @@
 			 */
 			ipc_cleanup();
-			futex_task_cleanup();
 			sys_waitq_task_cleanup();
 			LOG("Cleanup of task %" PRIu64 " completed.", TASK->taskid);