kexec on ARM