The latest driver update (urpmi --auto-update =&gt; dkms-nvidia-current-295-20-2) fixes the problem, but I had to reboot twice to make it work.<br><br> JC<br>