The text c193f8d07237, as Debian 9 (Stretch) shipped it.
load a new kernel for later execution
kexec_load(2) on Linux now
