[PATCH] implement AT_PLATFORM for powerpc

[Paul Mackerras]

Eugene Surovegin writes:

> I checked 44x user manuals I have:
> 
> 440GP doesn't have isel
> 440GX, 440EP, 440SP, 440SPe, 440GR have it.

Thanks, that's helpful.  Do you know if 440{GX,EP,SP,SPe,GR} implement
all of the 32-bit user-mode instructions in Book E?

How do mbar and msync work on those processors?  As mbar and msync (as
defined in Book E) or as eieio and sync?

Do the 440* processors in fact claim Book E compliance?

Thanks,
Paul.