Ik weet het, maar dit is een computer, waarmee ik experimenteer met verschillende Ubuntu-versies. In dit geval versie 17.10.
Ik was dus niet van plan om naar een eerdere kernelversie te gaan, maar juist te proberen om de driver goed werkend te krijgen.
Een en ander vooruitlopend op versie 18.04, wat weer een LTS-versie zal zijn.