From: ldo@nz.invalid   
      
   On 14 Feb 2026 13:31:33 GMT, Stéphane CARPENTIER wrote:   
      
   > you should find the Mint (maybe Ubuntu/debian) way to remove the old   
   > kernels for two reasons:   
   > - The kernels are stored in a limited partition separated from your   
   >   main partition to be accessed by the UEFI.   
      
   Not the case on my Debian system. There is a separate partition   
   mounted on /boot/efi, but the kernels are kept in the top level of   
   /boot.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)