* ppc-sysv-tdep.c (ppc64_sysv_abi_push_dummy_call): Write 32-bit