Fix the declaration of sys_execve() in asm-generic/syscalls.h