Also there seems to be no interest in fixing this, for the record:
Problem and solution are still present/working in Ubuntu 17.10. and Nvidia driver 384.
Also there seems to be no interest in fixing this, for the record:
Problem and solution are still present/working in Ubuntu 17.10. and Nvidia driver 384.