machine_kexec_32.c 4.13 KB