K 10 svn:author V 3 jhb K 8 svn:date V 27 2005-04-14T18:25:09.000000Z K 7 svn:log V 379 Trust the settings programmed by the BIOS over what the $PIR says. Specifically, if the BIOS has programmed an IRQ for a device that doesn't match the list of valid IRQs for the link, use it anyway as some BIOSes don't correctly list the valid IRQs in the $PIR. Also, allow the user to specify an IRQ that $PIR claims is invalid as an override, but emit a warning in that case. END