dpkg -l | grep linux-image
rc  linux-image-3.2.0-32-generic             3.2.0-32.51                             Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-3.2.0-35-generic             3.2.0-35.55                             Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-3.2.0-38-generic             3.2.0-38.61                             Linux kernel image for version 3.2.0 on 64 bit x86 SMP
iF  linux-image-3.5.0-25-generic             3.5.0-25.38~precise1                    Linux kernel image for version 3.5.0 on 64 bit x86 SMP
ii  linux-image-generic                      3.2.0.38.46                             Generic Linux kernel image
iU  linux-image-generic-lts-quantal          3.5.0.25.32                             Generic Linux kernel image