seen most recently with 3.8.0-0-generic $ dpkg -S /boot/vmlinuz-$(uname -r) linux-image-3.8.0-0-generic: /boot/vmlinuz-3.8.0-0-generic
seen most recently with 3.8.0-0-generic $(uname -r) 3.8.0-0- generic: /boot/vmlinuz- 3.8.0-0- generic
$ dpkg -S /boot/vmlinuz-
linux-image-