Setup for kexec

Change-Id: Id787c9604e1b6af35c7664fc4ccad9136d6cfc5c