Non avevo provato!
Purtroppo però non ha funzionato
Il problema persiste.
Non c'è un modo per sapere con certezza quale hardware invia quell'irq?
Altre idee?

Grazie mille