Magari non e` un problema di driver.. l'irq del ps/2 e` condiviso con quello dell'usb, guarda nel bios se c'e` un modo per associare all'usb un irq dedicato (assign irq for usb o qualcosa di simile). Usi mouse ps/2 esterni o altre periferiche usb?