Novathor specific changes for kexec
Although guest kernel is not booting yet..:(