committed fix for irq_tables