1. From inside X ran "rmmod psmouse"
2. Switched to the console
3. Switched back to X
4. Ran "modprobe psmouse"
5. Switched to the console.
6. Switched back to X.
After this sequence, the device name was set to an event device but the
protocol was psaux. The problem was that when the auto-redetection
failed in step 3, the protocol was set to psaux but the device name was
not cleared. In step 6, opening the old event device succeeded again,
so SetDeviceAndProtocol() was not called, and the protocol remained set
to psaux.