pc386 IRQ assignment question

[Peter Dufault]

The board I'm using has serial ports 3 and 4 hard-wired to IRQ 10 and 
11.

This makes keeping the modifications generic difficult, especially 
since IRQ10 is already enumerated for TIMER3 in the 386ex code.

Any suggestions on clean ways to do this?  I'm not going to modify the 
IRQ assignments in irq.h, that doesn't seem like the right way to go 
about it, I'll temporarily wrap the new IRQ assignments with #ifdefs to 
permit compile-time override.

Peter Dufault
HD Associates, Inc.