[Linaro-dev] Introducing kexecboot software