The binary might come in over a network such as infiniband. You can't really assume much about where the kernel is.

kexec and the program are small, I think the cost is ok.

ron