strlen_user(9) on Linux

The text e0632397e92a, as Debian 7 (Wheezy) shipped it. The page shows this text now.

Get the size of a string in user space.

strlen_user(9) on Linux now