diff -Nru a/build/config/ppc64el.cfg b/debian-installer-20101020ubuntu334/build/config/ppc64el.cfg
--- a/build/config/ppc64el.cfg	2014-08-14 10:38:24.000000000 -0400
+++ b/build/config/ppc64el.cfg	2014-08-19 11:07:49.261373001 -0400
@@ -6,7 +6,7 @@
 BASEVERSION = 3.16.0-9
 KERNELVERSION = $(BASEVERSION)-generic
 KERNEL_FLAVOUR = di
-KERNELNAME = vmlinux
+KERNELNAME = vmlinuz
 KERNELIMAGEVERSION = $(KERNELVERSION)
 
 GRUB_CFG_CDROM = boot/ppc64el/grub-cdrom.cfg
@@ -26,11 +26,11 @@
 		 $(TEMP_CD_TREE)/ppc/chrp \
 		 $(TEMP_CD_TREE)/install
 
-	cp $(TEMP_KERNEL) $(TEMP_CD_TREE)/install/vmlinux
+	cp $(TEMP_KERNEL) $(TEMP_CD_TREE)/install/vmlinuz
 	cp $(TEMP_INITRD) $(TEMP_CD_TREE)/install/initrd.gz
 
 	bootvars-subst \
-		KERNEL /install/vmlinux \
+		KERNEL /install/vmlinuz \
 		INITRD /install/initrd.gz \
 	< $(GRUB_CFG_CDROM) > $(TEMP_CD_TREE)/boot/grub/grub.cfg
 
@@ -47,7 +47,7 @@
 		 $(TEMP_CD_INFO_DIR)/ppc/chrp
 
 	bootvars-subst \
-		KERNEL /install/vmlinux \
+		KERNEL /install/vmlinuz \
 		INITRD /install/initrd.gz \
 	< $(GRUB_CFG_CDROM) > $(TEMP_CD_INFO_DIR)/boot/grub/grub.cfg
 	grub-mkimage -O powerpc-ieee1275 -p '()/boot/grub' \
@@ -65,7 +65,7 @@
 	cp $(TEMP_KERNEL) $(TEMP_NETBOOT_DIR)/$(NETBOOT_PATH)
 	
 	bootvars-subst \
-		KERNEL $(NETBOOT_PATH)/vmlinux \
+		KERNEL $(NETBOOT_PATH)/vmlinuz \
 		INITRD $(NETBOOT_PATH)/initrd.gz \
 	< $(GRUB_CFG_NETBOOT) > $(TEMP_NETBOOT_DIR)/$(NETBOOT_PATH)/grub.cfg
 	if [ -n "$(SPLASH_PNG)" ]; then \
diff -Nru a/debian/changelog b/debian-installer-20101020ubuntu334/debian/changelog
--- a/debian/changelog	2014-08-14 10:38:46.000000000 -0400
+++ b/debian/changelog	2014-08-19 11:21:04.441373000 -0400
@@ -1,3 +1,9 @@
+debian-installer (20101020ubuntu335ppc64el1) utopic; urgency=medium
+
+  * build/config/ppc64el.cfg: Switch kernel to vmlinuz (from vmlinux).
+
+ -- Mauricio Faria de Oliveira <mauricfo@linux.vnet.ibm.com>  Tue, 19 Aug 2014 12:17:05 -0300
+
 debian-installer (20101020ubuntu335) utopic; urgency=medium
 
   * Move master kernels to 3.16.0-9.