Как мне избавиться от старых файлов linux-headers-3.xx.x-xx? [дубликат]

Я часто сталкиваюсь с проблемой, что мне не хватает места на / boot left. Когда это происходит, я использую этот ответ , чтобы освободить место.

Вывод команды, показанный там, дает мне не только кучу старых (и текущих) изображений, но и намного больше файлов заголовков . Он не отображает текущее ядро.

foo:~/Desktop $ dpkg -l linux-{image,headers}-"[0-9]*" | awk '/^ii/{ print $2}' | grep -v -e `uname -r | cut -f1,2 -d"-"` | grep -e '[0-9]'
linux-headers-3.16.0-38
linux-headers-3.16.0-39
linux-headers-3.16.0-39-generic
linux-headers-3.19.0-21
linux-headers-3.19.0-21-generic
linux-headers-3.19.0-22
linux-headers-3.19.0-22-generic
linux-headers-3.19.0-23
linux-headers-3.19.0-23-generic
linux-headers-3.19.0-25
linux-headers-3.19.0-25-generic
linux-headers-3.19.0-26
linux-headers-3.19.0-26-generic
linux-image-3.19.0-23-generic
linux-image-3.19.0-25-generic
linux-image-3.19.0-26-generic

Я обычно удаляю все ядра, кроме текущего и предыдущего. Однако эти заголовки намного старше. Некоторые - 3,16, а я сейчас - 3,19.

Нужны ли они мне или я могу от них избавиться?

Как их удалить?