machine_kexec.c revision 3eeb0778
1