Wenn Du es ganz genau wissen willst, könnte man noch das OS neu aufspielen. Hab da (zwar nicht mit PS/2, sondern mit Firewire) schon die merkwürdigsten Sachen erlebt, dass ein ältliches System eine Hardwarekomponente ums Verrecken und mit allen Tricks nicht mehr erkennen wollte und nach einer Neuinstallation gings wieder.
Wenn das aber auch nicht hilft, und verschiedene Mäuse nicht wollen: Solche Ports gehen gelegentlich auch mal einfach kaputt. Dann muss man damit leben. Alternative wäre ne USB-Maus.