machine_kexec_32.c 5.02 KB