machine_kexec.c revision d0e810ee
1