On Wed, Jul 08, 2015 at 08:13:18AM +0200, Wessel Nieboer wrote: > Did you fix this issue you were having? My udev is not installing properly > but the kernel is OK for me. Hi Wessel, Looking back to refresh my memory: Yes, this issue was easily fixed by following the advice in the first reply that I got: just forcing the installation of the new kernel. Kind regards, Matthijs