machine_kexec_64.c 15.2 KB