debian/patches/ppc64el.patch

   1 --- a/bin/platform
   2 +++ b/bin/platform
   3 @@ -115,7 +115,7 @@
   4  powerpc64)
   5         HOST_ARCH=powerpc64
   6  ;;
   7 -ppc64)
   8 +ppc64*)
   9          HOST_ARCH=powerpc64
  10  ;;
  11  powerpc)