Quoting Jethro Carr <jethro.carr at jedolinux.com>: And also have a look in the machines BIOS, most machines that I came across will allow you to manually allocate IRQs to certain PCI slots. Cheers, Andrej