machine_kexec.c revision 2efe55a9
1