x86_64: Fix strnlen_user() to not touch memory after specified maximum