adding a patch file to make Dockerfile.ppc64le more maintainable and updating the Makefile to make use of the patch file