} else {
else {
NORET_TYPE void machine_kexec(struct kimage *image){	if (ppc_md.machine_kexec) {		ppc_md.machine_kexec(image);	} else {		/*		 * Fall back to normal restart if platform doesn't provide		 * its own kexec function, and user insist to kexec...		 */		machine_restart(NULL);	}	for(;;);}