machine_kexec.c revision a62bc073
1