You can move the psmouse.ko file from /lib/modules/<kernel-version>/updates/dkms/psmouse.ko to
/lib/modules/<kernel-version>/kernel/drivers/input/mouse/psmouse.ko
It will replace original driver and you wan't have to modprobe it. With Ubuntu 14.04 with same kernel it is not needed.
@brott,
You can move the psmouse.ko file from /lib/modules/ <kernel- version> /updates/ dkms/psmouse. ko to <kernel- version> /kernel/ drivers/ input/mouse/ psmouse. ko
/lib/modules/
It will replace original driver and you wan't have to modprobe it. With Ubuntu 14.04 with same kernel it is not needed.
I will think how to fix it though.