machine_kexec.c revision ed0192bc
1