[Trisquel-users] Re : Why do some old kernels still stay?

[lcerf]

You can remove the 3.13 kernels. One single kernel is enough (assuming you  
are sure it boots!). The package manager would prevent you from removing all  
kernel images.