hacked kexec compatible with falcon.