Map ppc64 to ppc64el

The previous branch didn't rename ppc64 to ppc64el, just ppc64le.