add additional error messages

arch/x86/kernel/irq.c

@@ -235,9 +235,7 @@ void irq_handler(struct state *s)
 	void (*handler) (struct state * s);
 
 	// at first, we check our work queues
-//	if( s->int_no == 124 ) {
-		check_workqueues();
-//	}
+	check_workqueues();
 
 	/* 
 	 * Find out if we have a custom handler to run for this
@@ -258,6 +256,7 @@ void irq_handler(struct state *s)
 		return;
 	}
 
+#ifndef CONFIG_ROCKCREEK
 	/* 
 	 * If the IDT entry that was invoked was greater-than-or-equal to 40 
 	 * and lower than 48 (meaning IRQ8 - 15), then we need to 
@@ -271,4 +270,7 @@ void irq_handler(struct state *s)
 	 * interrupt controller of the PIC, too 
 	 */
 	outportb(0x20, 0x20);
+#else
+	kprintf("Upps, RockCreek uses IRQs below 123!\n");
+#endif
 }