root@potato:~# dpkg -l | grep linux-image
ii  linux-image-3.13.0-87-generic       3.13.0-87.133                    amd64        Linux kernel image for version 3.13.0 on 64 bit x86 SMP
rc  linux-image-extra-3.13.0-85-generic 3.13.0-85.129                    amd64        Linux kernel extra modules for version 3.13.0 on 64 bit x86 SMP
ii  linux-image-extra-3.13.0-87-generic 3.13.0-87.133                    amd64        Linux kernel extra modules for version 3.13.0 on 64 bit x86 SMP
rc  linux-image-extra-3.13.0-91-generic 3.13.0-91.138                    amd64        Linux kernel extra modules for version 3.13.0 on 64 bit x86 SMP