OK, I've tested some more. Doing "rmmod psmouse" and "modprobe psmouse" fixes the problem temporarily.
OK, I've tested some more. Doing "rmmod psmouse" and "modprobe psmouse" fixes the problem temporarily.