pxkxc - a simple utility to boot a PXE target with kexec