Update machine_kexec.c