only re-install kernel on missing vmlinuz as initrd can be re-generated