All signs point at the possibility of mixed bitness within the same binary on PowerPC. Some CUs in an otherwise 64 bit binary use 32-bit addresses, it looks like.