Tu peux aussi installer le paquet byobu, qui contient un script de suppression de kernels inutilisés : purge-old-kernels

Via https://shaarli.docgreen.fr/?NpFxQA

XanMod is a general-purpose Linux kernel distribution with custom settings and new features.
Built to provide a more rock-solid, responsive and smooth desktop experience.

Un kernel casse-couille qui fait booter en 5 à 10 minutes Linux Mint, j'aime.
La solution est dans le post.