The text f9a15d83e3dc, as Debian 10 (Buster) shipped it.
Retrieves UTF-32 string from kernel memory
function::kernel_string_utf32(3stap) on Linux now