machine_kexec.c revision 3b967847
1