Index: debian/ruleset/arches/mipsel.mk =================================================================== --- debian/ruleset/arches/mipsel.mk.orig 2009-04-01 16:19:58.000000000 -0400 +++ debian/ruleset/arches/mipsel.mk 2015-01-17 01:34:42.081266174 -0500 @@ -38,14 +38,19 @@ # Default value ifeq (,$(kimage)) - kimage := vmlinux + kimage := vmlinuz endif ifeq (,$(kimagesrc)) kimagesrc := $(kimage) endif NEED_DIRECT_GZIP_IMAGE = NO -kimagedest = $(INT_IMAGE_DESTDIR)/vmlinux-$(KERNELRELEASE) +kimagedest = $(INT_IMAGE_DESTDIR)/$(kimagesrc)-$(KERNELRELEASE) +ifeq ($(kimage),vmlinuz) + int_install_vmlinux := YES + kelfimagesrc = vmlinux + kelfimagedest = $(INT_IMAGE_DESTDIR)/$(kelfimagesrc)-$(KERNELRELEASE) +endif ifneq ($(shell if [ $(VERSION) -ge 2 ] && [ $(PATCHLEVEL) -ge 5 ] && \ [ $(SUBLEVEL) -ge 41 ]; then echo new; \