Ubuntu mouse device changing

I highlighted the problem of flaky second mouse support in ubuntu before. My fix works well, but you will find that as xorg does not reference devices by UID, numbering will change and mean that mouse2 becomes the USB mouse!

So really X.org needs a revision to reference by UID, and the Linux kernel needs to expose that to X.org like it does for other devices in /dev