load_kernel_add_on
image_id load_kernel_add_on(const char *path);
image_id image = load_kernel_add_on(entry->path);
image = load_kernel_add_on(driver->path);
image = load_kernel_add_on(path);