[PATCH 4/4] ppc64 iSeries: allow build with no PCI

[Paul Mackerras]

Christoph Hellwig writes:

> >  config PCI
> > -	bool
> > +	bool "support for PCI devices" if (EMBEDDED && PPC_ISERIES)
> 
> and what exactly makes an ISERIES an embedded device?  Please make this
> just if PPC_ISERIES and provide a sane helptext.

This means you get the chance to turn *off* PCI if you turn on
EMBEDDED.  That is consistent with other uses of EMBEDDED; for
example, if you want to build the kernel for your iSeries partition
without VT, you have to turn on EMBEDDED.  In other words, EMBEDDED
isn't really about embedded systems. :)  It would be nice to have a
better name, but for now Stephen's patch is reasonable (although we
could make it just "if EMBEDDED" instead).

Paul.