Get the kernel loaded into some kexec_segments. The next hazard here is
to write the equivalent of the kexec purgatory code to call into the kernel
with useful arguments. The particular difficulty is in compiling a working
device tree from the host kernel.