Mouse not working after resume from sleep, W500

[gpvillamil]

This has happened to me a couple of times already:

After resuming from sleep, the mouse cursor cannot be moved.

The system is operative, since I can use the Windows key to open the Start Menu, and use arrow keys to launch the restart option. However, neither the touchpad nor the Trackpad work.

Any thoughts?