PCI drivers and interrupts