diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c
index f4cdc60b..2be72709 100644
--- a/arch/x86/kernel/irq.c
+++ b/arch/x86/kernel/irq.c
@@ -275,7 +275,7 @@ void irq_handler(struct state *s)
 #endif
 
 leave_handler:
-#if 1
+#ifdef CONFIG_ROCKCREEK
 	// add fast lane for the driver task
 	if (s->int_no >= 32)
 		scheduler();