K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2002-03-16T23:02:41.000000Z
K 7
svn:log
V 277
Don't call the bios if the interrupt appaers to be already routed.  Some
older PCI BIOSes hate this and this leads to panics when it is done.  Also,
assume that a uniquely routed interrupt is already routed.  This also
seems to help some older laptops with feable BIOSes cope.

END