Re: [Trisquel-users] Old Kernels

[rakyi]

Seems that it should be working like that, but it currently isn't (using any  
form of possible package upgrade methods). Not sure, though.

http://askubuntu.com/questions/369105/what-is-ubuntus-policy-on-keeping-old-kernels
https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1175637