One more workaround to try:
$ sudo modprobe -r psmouse
$ sudo modprobe psmouse resetafter=30
Also check current values of other psmouse parameters:
$ for i in /sys/module/psmouse/parameters/*; do echo -n "$(basename $i): " | cat - $i; done
and their descriptions:
$ modinfo psmouse
One more workaround to try:
$ sudo modprobe -r psmouse
$ sudo modprobe psmouse resetafter=30
Also check current values of other psmouse parameters: psmouse/ parameters/ *; do echo -n "$(basename $i): " | cat - $i; done
$ for i in /sys/module/
and their descriptions:
$ modinfo psmouse