Comment 7 for bug 20705

It does the trick but here is another report.

I first added those two modules on top of the current ones and restarted
(well... it ran out of battery). I powered the laptop with the mouse still
plugged and it was not moving at all. I noticed /dev/input/mice was not created.
Then I moved those modules after the ones I was using and now I can plug the
mouse whenever I want.

You may want to take this into account when generating /etc/modules at Ubuntu
installation. Feel free to resolve/fix the bug or I'll do it in a few days.

Anyway, you rock!