Da quando nel portatile ho installato il nuovo kernel all'avvio ottengo il messaggio
IRQ 11: nobody cared (try booting with the irqpool option)
e non mi funziona più la scheda audio. Inutile dire che ho provato a cercare la soluzione. Sembra che molti abbiano avuto questo problema ma non so come si risolve.
Grazie mille, Denis.