load_image
kernel_type = load_image (arg, mb_cmdline, suggested_type, load_flags);
kernel_t load_image (char *kernel, char *arg, kernel_t suggested_type,
