Re: Did PCI/IRQ allocation change significantly after 4.2 kernel?