Re: PCI drivers and interrupts