Initial porting of kexecboot