diff --git a/src/system/kernel/arch/x86/arch_timer.c b/src/system/kernel/arch/x86/arch_timer.c
index 6994d717e3..acc71b2a6c 100644
--- a/src/system/kernel/arch/x86/arch_timer.c
+++ b/src/system/kernel/arch/x86/arch_timer.c
@@ -26,7 +26,7 @@
 
 #include "interrupts.h"
 
-#define TRACE_TIMER
+//#define TRACE_TIMER
 #ifdef TRACE_TIMER
 #	define TRACE(x) dprintf x
 #else