Board.KolibriOS.org

Yes, why using the IRQ from PCIDEV when you can just hardcode it to "IRQ5"

SB16 driver was written for real SB16 cards, which are almost always on IRQ5 (and where IRQ cannot be detected by software AFAIK)
You are however right that some fixes could/should be made to sound.sys/sb16.sys to get around this when using sb16 mode on a PCI card.

_________________
"Any intelligent fool can make things bigger, more complex, and more violent. It takes a touch of genius -- and a lot of courage -- to move in the opposite direction." Albert Einstein