[ros-diffs] [hpoussin] 17861: If we have a PCI device, try to keep the IRQ assigned by the BIOS instead of forcing 0x9