ted@ted-ThinkPad-E520:~$ dpkg -l | grep linux-image*
ii  linux-image-4.10.0-28-generic               4.10.0-28.32~16.04.2                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-33-generic               4.10.0-33.37~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-35-generic               4.10.0-35.39~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-37-generic               4.10.0-37.41~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-38-generic               4.10.0-38.42~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-40-generic               4.10.0-40.44~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.10.0-42-generic               4.10.0-42.46~16.04.1                       amd64        Linux kernel image for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-4.13.0-26-generic               4.13.0-26.29~16.04.2                       amd64        Linux kernel image for version 4.13.0 on 64 bit x86 SMP
iF  linux-image-4.13.0-31-generic               4.13.0-31.34~16.04.1                       amd64        Linux kernel image for version 4.13.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-28-generic         4.10.0-28.32~16.04.2                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-33-generic         4.10.0-33.37~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-35-generic         4.10.0-35.39~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-37-generic         4.10.0-37.41~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-38-generic         4.10.0-38.42~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-40-generic         4.10.0-40.44~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
ii  linux-image-extra-4.10.0-42-generic         4.10.0-42.46~16.04.1                       amd64        Linux kernel extra modules for version 4.10.0 on 64 bit x86 SMP
iF  linux-image-extra-4.13.0-26-generic         4.13.0-26.29~16.04.2                       amd64        Linux kernel extra modules for version 4.13.0 on 64 bit x86 SMP
iU  linux-image-extra-4.13.0-31-generic         4.13.0-31.34~16.04.1                       amd64        Linux kernel extra modules for version 4.13.0 on 64 bit x86 SMP
iU  linux-image-extra-4.13.0-32-generic         4.13.0-32.35~16.04.1                       amd64        Linux kernel extra modules for version 4.13.0 on 64 bit x86 SMP
iU  linux-image-extra-4.13.0-36-generic         4.13.0-36.40~16.04.1                       amd64        Linux kernel extra modules for version 4.13.0 on 64 bit x86 SMP
iU  linux-image-generic-hwe-16.04               4.13.0.36.55                               amd64        Generic Linux kernel image