Hack to boot all edison on kexec

Change-Id: I722be540a660e0ec83bb80c10d2e0257fb82cdea