machine_kexec.c revision b2d24b97
1