Index: kernel/generic/src/synch/mutex.c
===================================================================
--- kernel/generic/src/synch/mutex.c	(revision 8d2d308fb498f32d36e15114a75008800742cc19)
+++ kernel/generic/src/synch/mutex.c	(revision 7c912b6fc05a13f4e6a53dd5ad6dd9249406ea85)
@@ -63,4 +63,6 @@
 }
 
+#define MUTEX_DEADLOCK_THRESHOLD	100000000
+
 /** Acquire mutex.
  *
@@ -91,5 +93,5 @@
 		bool deadlock_reported = false;
 		do {
-			if (cnt++ > DEADLOCK_THRESHOLD) {
+			if (cnt++ > MUTEX_DEADLOCK_THRESHOLD) {
 				printf("cpu%u: looping on active mutex %p\n",
 				    CPU->id, mtx);