Setup for kexec

Change-Id: Icefa7bc8f8eaf4cc77feeca12adcdde258479114