function::set_user_string_n(3stap) on Linux

The text 2ffaf7605b59, as Debian 10 (Buster) shipped it.

Writes a string of given length to user memory

function::set_user_string_n(3stap) on Linux now