aaron@Server:~$ dpkg -l | grep linux-
ii  linux-base                                 4.0ubuntu1                                          all          Linux image base package
ii  linux-firmware                             1.157                                               all          Firmware for Linux kernel drivers
ii  linux-generic                              4.4.0.31.33                                         amd64        Complete Generic Linux kernel and headers
ii  linux-headers-4.4.0-28                     4.4.0-28.47                                         all          Header files related to Linux kernel version 4.4.0
ii  linux-headers-4.4.0-28-generic             4.4.0-28.47                                         amd64        Linux kernel headers for version 4.4.0 on 64 bit x86 SMP
ii  linux-headers-4.4.0-31                     4.4.0-31.50                                         all          Header files related to Linux kernel version 4.4.0
ii  linux-headers-4.4.0-31-generic             4.4.0-31.50                                         amd64        Linux kernel headers for version 4.4.0 on 64 bit x86 SMP
ii  linux-headers-generic                      4.4.0.31.33                                         amd64        Generic Linux kernel headers
rc  linux-image-4.4.0-21-generic               4.4.0-21.37                                         amd64        Linux kernel image for version 4.4.0 on 64 bit x86 SMP
rc  linux-image-4.4.0-22-generic               4.4.0-22.40                                         amd64        Linux kernel image for version 4.4.0 on 64 bit x86 SMP
rc  linux-image-4.4.0-24-generic               4.4.0-24.43                                         amd64        Linux kernel image for version 4.4.0 on 64 bit x86 SMP
ii  linux-image-4.4.0-28-generic               4.4.0-28.47                                         amd64        Linux kernel image for version 4.4.0 on 64 bit x86 SMP
ii  linux-image-4.4.0-31-generic               4.4.0-31.50                                         amd64        Linux kernel image for version 4.4.0 on 64 bit x86 SMP
rc  linux-image-extra-4.4.0-21-generic         4.4.0-21.37                                         amd64        Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
rc  linux-image-extra-4.4.0-22-generic         4.4.0-22.40                                         amd64        Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
rc  linux-image-extra-4.4.0-24-generic         4.4.0-24.43                                         amd64        Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
ii  linux-image-extra-4.4.0-28-generic         4.4.0-28.47                                         amd64        Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
ii  linux-image-extra-4.4.0-31-generic         4.4.0-31.50                                         amd64        Linux kernel extra modules for version 4.4.0 on 64 bit x86 SMP
ii  linux-image-generic                        4.4.0.31.33                                         amd64        Generic Linux kernel image
ii  linux-libc-dev:amd64                       4.4.0-31.50                                         amd64        Linux Kernel Headers for development
ii  linux-sound-base                           1.0.25+dfsg-0ubuntu5                                all          base package for ALSA and OSS sound systems
ii  syslinux-common                            3:6.03+dfsg-11ubuntu1                               all          collection of bootloaders (common)
ii  syslinux-legacy                            2:3.63+dfsg-2ubuntu8                                amd64        Bootloader for Linux/i386 using MS-DOS floppies
aaron@Server:~$