Kexec hardboot patch

Change-Id: Ibb93925bf07d7ec06a144942e51090c0e26e4445