Created attachment 649782 [details] Kernel-desktop 4.0.5 log Ok, I installed the latest kernel, present in the repo that you have indicated (kernel-desktop 4.0.5-1.1) and also that works perfectly. I have attached the log of last reboot.