Test for fixing kexec

Change-Id: I79ba58349d41f94cfc1654344481260088c0d2c7