function::kernel_short(3stap) on Linux

The text 60b71b6c3d9b, as Debian 11 (Bullseye) shipped it.

Retrieves a short value stored in kernel memory

function::kernel_short(3stap) on Linux now