strlen_user returns 0 on error, not an error number, and otherwise
returns the length including the NUL byte.  Found by Andi Kleen.