Mortacci, nun gliene frega un cazzo a nessuno, eh?
Comunque, alla faccia vostra, ho risolto
E' Yenta il marrano: è un "coso" per determinare i canali IRQ delle schede PCMCIA. All'avvio, vede l'irq 11 come "suo" e dice tesualmente "Nobody cares of #11: disabling"
Ricompilando il kernel senza supporto PCMCIA, ha funzionato: ovviamente non funziona più il PCMCIA, ma personalmente non ci faccio nulla.
Ho provato a eliminare i moduli, ma mi dice che è tutto in uso e non mi permette di fare nulla.
Ho scritto ciò se qualcuno dovesse avere lo stesso problema. Dubito, ma non si sa mai...