upstream changes for src/ppc/*.h