root@helpdesk:/var# dpkg -l linux-image\* | grep ^i
ii  linux-image-2.6.38-10-server           2.6.38-10.46                                 Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-2.6.38-11-server           2.6.38-11.50                                 Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-2.6.38-12-server           2.6.38-12.51                                 Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-2.6.38-13-server           2.6.38-13.57                                 Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-2.6.38-15-server           2.6.38-15.64                                 Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-2.6.38-8-server            2.6.38-8.42                                  Linux kernel image for version 2.6.38 on x86_64
ii  linux-image-3.0.0-23-server            3.0.0-23.39                                  Linux kernel image for version 3.0.0 on x86_64
ii  linux-image-3.2.0-27-generic           3.2.0-27.43                                  Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-3.2.0-29-generic           3.2.0-29.46                                  Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-3.2.0-30-generic           3.2.0-30.48                                  Linux kernel image for version 3.2.0 on 64 bit x86 SMP
in  linux-image-3.2.0-31-generic           <none>                                       (no description available)
in  linux-image-3.2.0-32-generic           <none>                                       (no description available)
in  linux-image-3.2.0-35-generic           <none>                                       (no description available)
iU  linux-image-server                     3.2.0.31.34                                  Linux kernel image on Server Equipment.