Kexec as loadable kernel module for Linux ARM64 kernels - View it on GitHub