machine_kexec_64.c 14.8 KB