lib: add generic strnlen_user() function: forgot to save these files before pushing