machine_kexec.c revision e6c7c630
1