fix irq headers