ANDROID: add microdroid_minimal target

The target is a yet another variant of microdroid where most of the
debugging features are (actually, will be) turned off. It is currently
exclusively for appsearch, but other VMs may find it useful.

Bug: 407854766
Test: tools/bazel run --jobs=80 --keep_going --make_jobs=80
--make_keep_going //common:kernel_aarch64_microdroid_minimal_dist --
--flat

Change-Id: I43740dccb230e7d8f92dff4ef346e268f1ba535b
Signed-off-by: Jiyong Park <jiyong@google.com>

BUILD.bazel

@@ -241,6 +241,24 @@ kernel_build(
     page_size = "16k",
 )
 
+kernel_build(
+    name = "kernel_aarch64_microdroid_minimal",
+    srcs = ["//common:kernel_aarch64_sources"],
+    outs = [
+        "Image",
+        "System.map",
+        "modules.builtin",
+        "modules.builtin.modinfo",
+        "vmlinux",
+        "vmlinux.symvers",
+    ],
+    build_config = "build.config.microdroid.aarch64",
+    defconfig_fragments = ["arch/arm64/configs/microdroid_minimal.fragment"],
+    make_goals = [
+        "Image",
+    ],
+)
+
 copy_to_dist_dir(
     name = "kernel_aarch64_microdroid_16k_dist",
     data = [
@@ -261,6 +279,16 @@ copy_to_dist_dir(
     log = "info",
 )
 
+copy_to_dist_dir(
+    name = "kernel_aarch64_microdroid_minimal_dist",
+    data = [
+        ":kernel_aarch64_microdroid_minimal",
+    ],
+    dist_dir = "out/kernel_aarch64_microdroid_minimal/dist",
+    flat = True,
+    log = "info",
+)
+
 # Microdroid is not a real device. The kernel image is built with special
 #  configs to reduce the size. Hence, not using mixed build.
 kernel_build(