@André: Sorry to hear it is not working for you. I now believe the origin of the bug was slightly different for my machine, probably because I've also had an AMD gpu in there, running both the AMD and NVIDIA closed drivers side by side (not an advisable setup by the way...).
@André: Sorry to hear it is not working for you. I now believe the origin of the bug was slightly different for my machine, probably because I've also had an AMD gpu in there, running both the AMD and NVIDIA closed drivers side by side (not an advisable setup by the way...).