Not sure if the title is what I really need but its my assessment of the issue anyway.
I need to use a patched psmouse driver from here
https://github.com/antonizoon/psmouse-ux for my machine (vaio ux1).
The driver works as intended on kernel 4.4 (latest Lite 32bit) but does not survive reboot.
Issuing the last two commands (7 and 8 in the github link) after startup gets the mouse working as intended.
sudo modprobe -r psmouse
sudo modprobe psmouse
How to make this permanent?