`execle()` can trigger page fault in kernel

[adamdebek]

Reproduction (ia32-generic-qemu):

#include <stdio.h>
#include <unistd.h>
#include <errno.h>

int main(void)
{
        int ret;

        ret = execle("/bin/ls", "ls", "-l", NULL, NULL);
        printf("execle ret: %d errno: %d\n", ret, errno);

        return 0;
}

NOTE: When I used execle("/bin/ls", "ls", NULL, NULL);, it worked fine