Habe auch den alten Kernel mal gebootet, wobei die Karte noch im neuen Steckplatz ist. Hat in dem Fall IRQ 9 und läuft. Somit scheint es alleine am IRQ wohl nicht zu liegen. Davon abgesehen, kann man nicht irgendwo in einem File eintragen welchen IRQ er sich nehmen soll?