Comment 12 for bug 1755839

I cannot confirm that for my installation:

$ sudo apt-get upgrade -f
[sudo] password for s:
E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem.
$ sudo dpkg --configure -a
Setting up linux-image-4.13.0-37-generic (4.13.0-37.42) ...
Running depmod.
update-initramfs: deferring update (hook will be called later)
The link /initrd.img is a dangling linkto /boot/initrd.img-4.13.0-37-generic
vmlinuz(/boot/vmlinuz-4.13.0-37-generic
) points to /boot/vmlinuz-4.13.0-37-generic
 (/boot/vmlinuz-4.13.0-37-generic) -- doing nothing at /var/lib/dpkg/info/linux-image-4.13.0-37-generic.postinst line 491.
Examining /etc/kernel/postinst.d.
run-parts: executing /etc/kernel/postinst.d/apt-auto-removal 4.13.0-37-generic /boot/vmlinuz-4.13.0-37-generic
run-parts: executing /etc/kernel/postinst.d/dkms 4.13.0-37-generic /boot/vmlinuz-4.13.0-37-generic

there it is hanging now for some half an hour....