machine_kexec.c revision 402ff5a3
1