Unload default psmouse driver then load a new driver at startup

[jam_27]

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.

Code:

    sudo modprobe -r psmouse

Code:

    sudo modprobe psmouse

How to make this permanent?