x86, um: convert to saner kernel_execve() semantics