dirk@dirk:~$ uname -a
Linux dirk 3.13.0-27-generic #50-Ubuntu SMP Thu May 15 18:06:16 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
dirk@dirk:~$ dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d'
linux-headers-3.13.0-24
linux-headers-3.13.0-24-generic
linux-headers-3.13.0-29
linux-headers-3.13.0-29-generic
linux-headers-3.13.0-30
linux-headers-3.13.0-30-generic
linux-headers-3.13.0-32
linux-headers-3.13.0-32-generic
linux-headers-3.13.0-33
linux-headers-3.13.0-33-generic
linux-headers-3.13.0-34
linux-headers-3.13.0-34-generic
linux-headers-3.13.0-35
linux-headers-3.13.0-35-generic
linux-headers-3.13.0-36
linux-headers-3.13.0-36-generic
linux-headers-3.13.0-37
linux-headers-3.13.0-37-generic
linux-headers-3.13.0-39
linux-headers-3.13.0-39-generic
linux-headers-3.13.0-40
linux-headers-3.13.0-40-generic
linux-headers-3.13.0-43
linux-headers-3.13.0-43-generic
linux-headers-3.13.0-44
linux-headers-3.13.0-44-generic
linux-image-3.13.0-24-generic
linux-image-extra-3.13.0-24-generic
linux-libc-dev:amd64