Setup for kexec

Change-Id: I2e4f609858956e9f82f5e966d85956abef47e791