Revert "Merge more Kernel infrastructure from kernel_sdk SDK fork."

tools/patch_sdk.py

Index: tools/patch_sdk.py
diff --git a/tools/patch_sdk.py b/tools/patch_sdk.py
deleted file mode 100644
index bfc832733204232aae2d8a082ee2b28e49ad5b32..0000000000000000000000000000000000000000
--- a/tools/patch_sdk.py
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env python
-# Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
-# for details. All rights reserved. Use of this source code is governed by a
-# BSD-style license that can be found in the LICENSE file.
-
-import os
-import subprocess
-import sys
-import utils
-
-def main():
-  dart = os.path.join(utils.CheckedInSdkPath(), 'bin', 'dart')
-  dart_file = os.path.join(os.path.dirname(__file__), 'patch_sdk.dart')
-  subprocess.check_call([dart, dart_file] + sys.argv[1:]);
-
-if __name__ == '__main__':
-  main()