edison: use kexec for recovery-kernel