ppc64el's flavour name for powerpc

[Mauricio Faria de Oliveira <mauricfo@linux.vnet.ibm.com>]

Hi,

Would anyone have opinions about the powerpc flavour name for ppc64el?
- powerpc64/le/  (matches GNU arch name; like ppc64 port -- powerpc64)
- powerpc64/el/  (resembles Debian arch name; but is another new string)

maks mentioned on IRC to prefer upstream names (powerpc64le). I agree.

Any objection?

Thanks

--
Mauricio Faria de Oliveira
IBM Linux Technology Center