machine_kexec_post_load
int machine_kexec_post_load(struct kimage *image);
#define machine_kexec_post_load machine_kexec_post_load
#ifndef machine_kexec_post_load
ret = machine_kexec_post_load(image);
return machine_kexec_post_load(image);