function::kernel_string_quoted(3stap) on Linux

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

Retrieves and quotes string from kernel memory

function::kernel_string_quoted(3stap) on Linux now