machine_kexec.c revision 39421627
1