machine_kexec.c revision 7f28dad3
1