Re: [PATCH] ARM: kexec: Use the right ISA for relocate_new_kernel