diff --git a/src/system/kernel/scheduler/scheduler_affine.cpp b/src/system/kernel/scheduler/scheduler_affine.cpp
index 0643336040..2eea5752b2 100644
--- a/src/system/kernel/scheduler/scheduler_affine.cpp
+++ b/src/system/kernel/scheduler/scheduler_affine.cpp
@@ -16,6 +16,7 @@
 #include <OS.h>
 
 #include <cpu.h>
+#include <debug.h>
 #include <int.h>
 #include <kernel.h>
 #include <kscheduler.h>
@@ -31,7 +32,7 @@
 
 //#define TRACE_SCHEDULER
 #ifdef TRACE_SCHEDULER
-#	define TRACE(x) dprintf x
+#	define TRACE(x) dprintf_no_syslog x
 #else
 #	define TRACE(x) ;
 #endif
diff --git a/src/system/kernel/scheduler/scheduler_simple.cpp b/src/system/kernel/scheduler/scheduler_simple.cpp
index e10a3422ba..f63c98ed92 100644
--- a/src/system/kernel/scheduler/scheduler_simple.cpp
+++ b/src/system/kernel/scheduler/scheduler_simple.cpp
@@ -14,6 +14,7 @@
 #include <OS.h>
 
 #include <cpu.h>
+#include <debug.h>
 #include <int.h>
 #include <kernel.h>
 #include <kscheduler.h>
@@ -28,7 +29,7 @@
 
 //#define TRACE_SCHEDULER
 #ifdef TRACE_SCHEDULER
-#	define TRACE(x) dprintf x
+#	define TRACE(x) dprintf_no_syslog x
 #else
 #	define TRACE(x) ;
 #endif
diff --git a/src/system/kernel/scheduler/scheduler_simple_smp.cpp b/src/system/kernel/scheduler/scheduler_simple_smp.cpp
index 84435beccd..428a3b4d4b 100644
--- a/src/system/kernel/scheduler/scheduler_simple_smp.cpp
+++ b/src/system/kernel/scheduler/scheduler_simple_smp.cpp
@@ -14,6 +14,7 @@
 #include <OS.h>
 
 #include <cpu.h>
+#include <debug.h>
 #include <int.h>
 #include <kernel.h>
 #include <kscheduler.h>
@@ -29,7 +30,7 @@
 
 //#define TRACE_SCHEDULER
 #ifdef TRACE_SCHEDULER
-#	define TRACE(x) dprintf x
+#	define TRACE(x) dprintf_no_syslog x
 #else
 #	define TRACE(x) ;
 #endif