machine_kexec.c revision 5e2ff328
1