machine_kexec_cleanup
extern void machine_kexec_cleanup(struct kimage *image);
machine_kexec_cleanup(image);