Öncelikle sisteminizi aşağıdaki şekilde güncellemeyi dener misiniz?
Güncelleme Yöneticisi => Düzenle menüsü => Tercihler => Seviyeler kısmından 4. seviyeye kadar güncellemeleri işaretleyiniz. Ardından "Yenile" düğmesine tıklayıp paket bilgisi önbelleğini güncelledikten sonra, görünen tüm güncellemeleri seçiniz ve "Güncellemeleri Kur" düğmesine tıklayarak sisteminizi güncelleyiniz. Sonrasında isterseniz 4. seviye güncellemeleri pasifleştirebilirsiniz.
Güncelleme Yöneticisi => Görünüm menüsü => "Linux çekirdekleri" aracı yardımıyla 4.13.x serisi çekirdeğin son sürümünü kurunuz.
Ardından sisteminizi yeniden başlatınız.