[Trisquel-users] Re : Are Big Sacrifice

[lcerf]

GRUB does detect /boot/vmlinuz-4.14.12-gnu.  Let us see /etc/default/grub.   
In particular, is GRUB_DEFAULT 0?

You have many kernels installed.  That is quite a waste of disk space.  You  
can remove packages relating to older versions of the kernel (new versions of  
the kernel do not substitute older versions, unlike any other package) such  
as "linux-image-*", "linux-headers-*", ... with a version number that is not  
the largest (in the dictionary order: the leftmost dot-separated numbers are  
the most significant) or the second largest (for safety: if the latest kernel  
does not boot or is defective, you can boot the older one that raises no  
issue).