diff --git a/src/system/kernel/debug/debug.cpp b/src/system/kernel/debug/debug.cpp
index ded2e1960f..7d8e6eceb3 100644
--- a/src/system/kernel/debug/debug.cpp
+++ b/src/system/kernel/debug/debug.cpp
@@ -1870,7 +1870,7 @@ _user_debug_output(const char* userString)
 	char string[512];
 	int32 length;
 
-	if (!sSerialDebugEnabled)
+	if (!sSerialDebugEnabled && !sSyslogOutputEnabled)
 		return;
 
 	if (!IS_USER_ADDRESS(userString))