machine_kexec.c revision b7cf6ddc
1