Setup for kexec

Change-Id: Ifd737aa97a783479cf7a91990a6c1c24935f0613