kernel_args_strdup
extern char *kernel_args_strdup(const char *string);
image->name = kernel_args_strdup(path);
gKernelArgs.kernel_image->name = kernel_args_strdup(name);