updated device kexec-wip branch