Yes, this should be done in the BIOS.

Sometimes it isn't.

The Linux driver for the TI 113x and related drivers appears to have a
special hook for this hardware.

 * Generic TI init - TI has an extension for the
 * INTCTL register that sets the PCI CSC interrupt.
 * Make sure we set it correctly at open and init
 * time
 * - open: disable the PCI CSC interrupt. This makes
 *   it possible to use the CSC interrupt to probe the
 *   ISA interrupts.
 * - init: set the interrupt to match our PCI state.
 *   This makes us correctly get PCI CSC interrupt
 *   events.

I'm wondering if anyone's ever done any of the debugging work for this.
The only real test machine I have is a 5-year old thinkpad with no network
because I can't get cardbus or pcmcia working on it...

If all else fails, I can *try* to make it happen, but it looks finicky, and
I'd rather see it configured by someone more familiar with it.

There's a lot of code specifically for the TI 1130/1131 in the Linux driver
which we don't have anything like.

-s