x@Gotham:/home/d/bin$ dpkg -l | grep linux-
ii  linux-firmware                         1.79.18                                 Firmware for Linux kernel drivers
ii  linux-headers-3.2.0-75                 3.2.0-75.110                            Header files related to Linux kernel version 3.2.0
ii  linux-headers-3.2.0-75-generic-pae     3.2.0-75.110                            Linux kernel headers for version 3.2.0 on 32 bit x86 SMP
iU  linux-headers-generic-pae              3.2.0.94.108                            Generic Linux kernel headers
rc  linux-image-3.2.0-70-generic-pae       3.2.0-70.105                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
rc  linux-image-3.2.0-72-generic-pae       3.2.0-72.107                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
rc  linux-image-3.2.0-73-generic-pae       3.2.0-73.108                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
rc  linux-image-3.2.0-74-generic-pae       3.2.0-74.109                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
ii  linux-image-3.2.0-75-generic-pae       3.2.0-75.110                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
rc  linux-image-3.2.0-76-generic-pae       3.2.0-76.111                            Linux kernel image for version 3.2.0 on 32 bit x86 SMP
ii  linux-libc-dev                         3.2.0-94.134                            Linux Kernel Headers for development
ii  linux-sound-base                       1.0.25+dfsg-0ubuntu1.1                  base package for ALSA and OSS sound systems
ii  syslinux-common                        2:4.05+dfsg-2                           collection of boot loaders (common files)
ii  syslinux-legacy                        2:3.63+dfsg-2ubuntu5                    Bootloader for Linux/i386 using MS-DOS floppies
x@Gotham:/home/d/bin$