In message <20030406173322.GA1228@antioche.eu.org>, Manuel Bouyer writes:
>Maybe you can try to force it in the pci code for this device then.
>Just writing 10 to the PCI interrupt register before mapping the IRQ may
>be enouth

I'll give it a try.  If it blows up, I'll bug the vendor about the BIOS,
or try to figure out what Linux is doing.

-s