The text f12b1b695eed, as Debian 13 (Trixie) shipped it.
load a new kernel for later execution
kexec_load(2) on Linux now
