kernel_image_magic_copy
kernel_image_magic_copy(kernel_image + kernel_load_ofs);
static void kernel_image_magic_copy(u_char *);