Вы можете найти этот файл в пакете linux-image-x.x.x-xxxxxx.
$ dpkg -c linux-image-4.7.3-040703-generic_4.7.3-040703.201609070334_amd64.deb | grep vmlinuz -rw------- root/root 4134688 2016-09-07 09:45 ./boot/vmlinuz-4.7.3-040703-generic