arm64: Improve detection of user/non-user mappings in set_pte(_at)