Michael Ellerman writes: > We don't seem to have a top-level config symbol like other archs do. We have > PPC64 and PPC, but I think it'd be cleaner to have just one for cases where > we really mean PPC64 and/or PPC. CONFIG_PPC already means either 32-bit or 64-bit PowerPC (always has done, even before the merge). Paul.