The text b7b8416dbc9f, as Debian 12 (Bookworm) shipped it.
Quote given UTF-32 kernel string.
function::kernel_string_quoted_utf32(3stap) on Linux now
