Duncan: thanks for the information. I wonder why the card is listed as "PCI:0:5:0" in this config, and "PCI:1:0:0" in the one from bug #87496. Changing it to the latter should make it work.
Duncan: thanks for the information. I wonder why the card is listed as "PCI:0:5:0" in this config, and "PCI:1:0:0" in the one from bug #87496. Changing it to the latter should make it work.