Package: pxe-kexec

"pxe-kexec" package binaries on Debian:

/usr/sbin/pxe-kexec

You may install this package on Debian with apt-get install pxe-kexec