Add PCI IRQ handler (trampoline)