Comment 16 for bug 612591

@Nicolas Delvaux : I confirm the commands you told me yesterday in #11 works perfectly after a reboot on my HP Elitebook 8730w. Many thanks !!! (if you do sudo rmmod psmouse && sudo modprobe psmouse instead of rebooting, you loose sensitivity, as described #15, but everything is ok after the next reboot.