Took me quite a while to find out how to overcome this problem. Because quite weary restarting the PC.
The keyboard was working fine. Just the mouse. Did not want to take a USB Mouse (matter of not compromising ressources).
Could get it fixed opening a terminal window …
sudo modprobe -rv psmouse
sudo modprobe -v psmouse
Thread : I can’t get any PS2 mouse working: