machine_kexec.c revision 15e9b586
1