machine_kexec.c revision e4e063d0
1