machine_kexec.c revision 2d0af224
1