machine_kexec.c revision 8a07dd02
1