[POWERPC] kernel_execve is identical in 32 and 64 bit