Did PCI/IRQ allocation change significantly after 4.2 kernel?