Setup for kexec

Change-Id: Ic12d0e24c75b9755989f68d4f401abaa1fed0218