Re: [F25 PATCH]: Add initial upstream support for kexec on aarch64