machine_kexec.c revision a80313ff
1