function::kernel_string_quoted(3stap) on Linux

The text 4477f745ab10, as Debian 9 (Stretch) shipped it.

Retrieves and quotes string from kernel memory

function::kernel_string_quoted(3stap) on Linux now