The text ef1be4dbf87f, as Debian 12 (Bookworm) shipped it.
Retrieves a char value stored in kernel memory
function::kernel_char(3stap) on Linux now
