Comment 74 for bug 1759920

These are the packages I have installed:

root@gmllaptop:/local/configs/packages# dpkg-query -l '*4.13.0-38*'
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name Version Architecture Description
ii linux-headers-4.13.0-38 4.13.0-38.43 all Header files related to Linux kernel version 4.13.0
ii linux-headers-4.13.0-38-generic 4.13.0-38.43 amd64 Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii linux-image-4.13.0-38-generic 4.13.0-38.43+lp1759920.1 amd64 Linux kernel image for version 4.13.0 on 64 bit x86 SMP
ii linux-image-extra-4.13.0-38-generic 4.13.0-38.43+lp1759920.1 amd64 Linux kernel extra modules for version 4.13.0 on 64 bit x86 SMP
ii linux-signed-image-4.13.0-38-generic 4.13.0-38.43 amd64 Signed kernel image generic

The signed one doesn't contain any binaries, just a signing file (this is a UEFI system).