Sistemi kurulum yaptığınız çalışan DVD/USB ile açıp Gparted isimli grafik arayüzlü arçla /boot dizininin boyutunu artırabilirsiniz.
Ya da birden fazla çekirdek kurulu ise, Güncelleme Yöneticisi => Görüüm menüsü => Linux çekirdekleri eski çekirdekleri aracı ile eski çekirdekleri silmeyi deneyebilirsiniz.
