Copy kernel prebuilt from GKI

In preparation for switching from GKI to microdroid_kernel, copy the
current GKI to the local directory. The following CLs will update this
GKI with the microdroid_kernel.

Bug: 231117670
Test: N/A

Change-Id: I98da8c3bc3295a4c08729a38a2714bd15c6cf3b4
diff --git a/microdroid/kernel/x86_64/Android.bp b/microdroid/kernel/x86_64/Android.bp
new file mode 100644
index 0000000..13a851b
--- /dev/null
+++ b/microdroid/kernel/x86_64/Android.bp
@@ -0,0 +1,32 @@
+// Copyright (C) 2022 The Android Open Source Project
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//      http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+package {
+    default_applicable_licenses: ["microdroid_kernel_prebuilts_5.15_x86_64_license"],
+}
+
+// See: http://go/android-license-faq
+license {
+    name: "microdroid_kernel_prebuilts_5.15_x86_64_license",
+    visibility: [":__subpackages__"],
+    license_kinds: [
+        "SPDX-license-identifier-GPL-2.0-only",
+    ],
+    // large-scale-change unable to identify any license_text files
+}
+
+filegroup {
+    name: "microdroid_kernel_prebuilts-5.15-x86_64",
+    srcs: ["kernel-5.15"],
+}