Hi all, Mike, I hope you don't mind me refactoring your patches and mailing them in. This provides corrected IRQ selection by matching _PRT to the INTx pins of each pci device that is requested. I changed the logic from your original patch such that it now fails if the pci_pin == 0 since it's supposed to be a non-zero value. In this case it will fall back to using the other method of selection.
Also, I made the acpi code hard fail if it can't configure the pic mode, since it is a hard requirement for acpi server to work correctly. Thanks, Damien
