Index: kernel/generic/src/synch/mutex.c
===================================================================
--- kernel/generic/src/synch/mutex.c	(revision 8d2d308fb498f32d36e15114a75008800742cc19)
+++ kernel/generic/src/synch/mutex.c	(revision 4e7637a8c946bc363b3b8b4c8178a3ae36c314bc)
@@ -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);