[PATCH] kexec: x86_64 kexec implementation