Pass path to platform kernel binary to kernel-service.

runtime/include/dart_api.h

Index: runtime/include/dart_api.h
diff --git a/runtime/include/dart_api.h b/runtime/include/dart_api.h
index 8ccbe7a5380140f857dbd95a8613dc0b4f532747..c77c7b08331e5ee61368b21f6015f8a2dc30a4f2 100644
--- a/runtime/include/dart_api.h
+++ b/runtime/include/dart_api.h
@@ -3130,7 +3130,7 @@ DART_EXPORT bool Dart_IsKernelIsolate(Dart_Isolate isolate);
 DART_EXPORT bool Dart_KernelIsolateIsRunning();
 DART_EXPORT Dart_Port Dart_KernelPort();
 DART_EXPORT Dart_KernelCompilationResult
-Dart_CompileToKernel(const char* script_uri);
+Dart_CompileToKernel(const char* script_uri, const char* platform_kernel);
 
 typedef struct {
   const char* uri;
@@ -3138,6 +3138,7 @@ typedef struct {
 } Dart_SourceFile;
 DART_EXPORT Dart_KernelCompilationResult
 Dart_CompileSourcesToKernel(const char* script_uri,
+                            const char* platform_kernel,
                             int source_files_count,
                             Dart_SourceFile source_files[],
                             bool incremental_compile);