fn kernel_prebuilt_url_string() -> Url