machine_kexec.c revision 95f72d1e
1