[Driftin]

Per vedere gli irq devi andare su pannello di controllo>sistema>gestione dispositivi, clicchi sul segno + per espandere il ramo che ti interessa, tasto destro sulla periferica>proprietà, nella tab risorse trovi l' irq.
Prova un pò a controllare gli irq del mouse e dell' hd, comincio ad essere curioso.
Comunque non tutti gli irq sono gestiti dalla gestione dinamica degli irq di vista, alcuni sono assegnati dal sistema di I/O di base è nn possono essere cambiati dal SO, come appunto l' irq 12 per la porta ps/2 la quale vede assegnato questo irq indipendentemente dal fatto che il muose vi sia collegato o meno.
Tanto per cominciare quindi, se usi il mouse usb comincia a disabilitare l' opzione nel bios che assegna l' irq alla ps/2. Questo probabilmente non risolverà il problema ma sicurasmente renderà più efficiente la gestione dinamica avendo il SO un irq libero in +.
Potrei sbagliarmi, ma controllare non ti costa nulla, e poi vista non è che di casini non ne combina, anzi...
In secondo luogo la tua obiezione sulla corrente è giustissima,
Se l' alimentazione è esterna ( nel senso che è attaccata alla rete elettrica e non ad una porta usb supplementare ) e il computer non è un portatile ( infatti solo i portatili soffrono di tale problema avendo un ali che genera una potenza elettrica di circa 60W. Ovvio che se sul fisso hai un ali da 60W il discorso non vale, ma penso che in questo caso i problemi sarebbero altri... ) il problema dipende da qualcosaltro, se si trattasse di alimentazione, in linea di principio, sarebbe la periferica che assorbe la corrente maggiore ( e cioè l' hd )a non funzionare e non il mouse.
Controlla gli irq e fammi sapere, il pc è fisso o portatile?