Looks like someone else may be interested also: (GSOC - 2026) new contributor - Interested project: kexec system feature - #11 by PulkoMandy
BTW, if I understand correctly, Linux kexec now supports EFI. This may be the easiest way to implement kexec anyway, and then the standard EFI loader can be used to start a new kernel.