[PATCH] use vmlinux during make install on ppc64

[Paul Mackerras]

Olaf Hering writes:

> make install passes the zImage to the installkernel script.
> When an initrd is used, this script has to pull out the vmlinux from the
> zImage because yaboot can not boot a zImage+initrd combo.
> It can only handle vmlinux+initrd or zImage.initrd.
> Its simple to just pass the plain vmlinux instead.

As a side-effect you seem to have changed the default target on
pSeries from zImage to vmlinux, which I don't like - I find it useful
and convenient that just plain "make" makes the zImage, which I can
then netboot.

Paul.