[linux-morello] [PATCH 13/15] elf: Remove elf_uaddr_to_user_ptr()