Add support for PPC 64bit on Linux

In particular Debian Linux-3.9.8-1- PPC64

No functional change.