Implement @patch annotation for patch class members

runtime/bin/platform_patch.dart

Index: runtime/bin/platform_patch.dart
diff --git a/runtime/bin/platform_patch.dart b/runtime/bin/platform_patch.dart
index bbd353b4d078e1d2aa1daac0cbec92dbbb28a3c0..8110ea1c2c9e3a8fc5f3ef74daf3bfd85635a796 100644
--- a/runtime/bin/platform_patch.dart
+++ b/runtime/bin/platform_patch.dart
@@ -3,32 +3,32 @@
 // BSD-style license that can be found in the LICENSE file.
 
 @patch class _Platform {
-  /* @patch */ static int _numberOfProcessors()
+  @patch static int _numberOfProcessors()
       native "Platform_NumberOfProcessors";
-  /* @patch */ static String _pathSeparator()
+  @patch static String _pathSeparator()
       native "Platform_PathSeparator";
-  /* @patch */ static String _operatingSystem()
+  @patch static String _operatingSystem()
       native "Platform_OperatingSystem";
-  /* @patch */ static _localHostname()
+  @patch static _localHostname()
       native "Platform_LocalHostname";
-  /* @patch */ static _executable()
+  @patch static _executable()
       native "Platform_ExecutableName";
-  /* @patch */ static _resolvedExecutable()
+  @patch static _resolvedExecutable()
       native "Platform_ResolvedExecutableName";
-  /* @patch */ static _environment()
+  @patch static _environment()
       native "Platform_Environment";
-  /* @patch */ static List<String> _executableArguments()
+  @patch static List<String> _executableArguments()
       native "Platform_ExecutableArguments";
-  /* @patch */ static String _version()
+  @patch static String _version()
       native "Platform_GetVersion";
 
-  /* @patch */ static String _packageRoot()
+  @patch static String _packageRoot()
       => VMLibraryHooks.packageRootString;
-  /* @patch */ static String _packageConfig()
+  @patch static String _packageConfig()
       => VMLibraryHooks.packageConfigString;
 
   // This script singleton is written to by the embedder if applicable.
-  /* @patch */ static void set _nativeScript(String path) {
+  @patch static void set _nativeScript(String path) {
     if (path.startsWith('http:') ||
         path.startsWith('https:') ||
         path.startsWith('package:') ||