[linux-morello] Re: [PATCH v2 05/22] lib/user_ptr: Add helpers to be used by mm syscalls