machine_kexec.c revision c6b5b847
1