that's the problem I evaded by using Arch linux: a distro with a rolling release system

De nieuwe versie werkt voorlopig (met oude kernel) dus ik kan weer verder. Maar ga die Arch Linux wel eens uittesten, net gedownload.