> Martin, let's just change the defaults: NOT call the BIOS by default (and> maybe have a kernel command line to say "pciirq=bios" for the two people> who need it and have a working BIOS) because I'll bet this is not going to> be the only report on machines not booting when more people start testing.> And it's not as we got the interrupt numbes wrong by just looking them up> by hand.