upstream changes for src/ppc/builtins-ppc.cc