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;                   \