2007-11-30 Till Straumann * Makefile.am, irq/irq.c: fixed wrong path of irq_supp.h in source tree and wrong type of C_dispatch_irq_handler(); first arg it *not* a CPU_Interrupt_frame.