root@niee:/home/niee# dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d'
linux-headers-4.4.0-31
linux-headers-4.4.0-31-generic
linux-image-4.4.0-31-generic
linux-image-extra-4.4.0-31-generic
linux-libc-dev:amd64
root@niee:/home/niee# sudo apt-get -y purge some-kernel-package
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package some-kernel-package
root@niee:/home/niee# df -h /boot
Filesystem      Size  Used Avail Use% Mounted on
/dev/sde1       236M  101M  124M  45% /boot
root@niee:/home/niee#