I spent days searching for the same answer. I never did find it. I've tried: xinput disable <device name>; rmmod psmouse (replace binary in /usr/lib/xorg/modules/input) modprobe psmouse; xinput enable <device name>. But I think it's still using the old driver. I must be missing something...
–
Andrew LundinJun 18 '13 at 4:54

I mailed him about something else and asked this question as a side-note. If you really need it, you might be able to find those patches on the Xorg-devel list archive. I haven't looked...
–
Andrew LundinOct 1 '13 at 3:47