This bug was fixed in the package debian-installer - 20101020ubuntu338
--------------- debian-installer (20101020ubuntu338) utopic; urgency=medium
* build/config/ppc64el.cfg: Switch kernel to vmlinuz (LP: #1358920) -- Mauricio Faria de Oliveira <email address hidden> Tue, 26 Aug 2014 14:16:21 -0600
This bug was fixed in the package debian-installer - 20101020ubuntu338
---------------
debian-installer (20101020ubuntu338) utopic; urgency=medium
* build/config/ ppc64el. cfg: Switch kernel to vmlinuz (LP: #1358920)
-- Mauricio Faria de Oliveira <email address hidden> Tue, 26 Aug 2014 14:16:21 -0600