ANDROID: add 16k targets for Microdroid kernel

Bug: 317201718
Test: tools/bazel run //common:kernel_aarch64_microdroid_16k_dist

Change-Id: Ia7290ddb5af720e3b91a6baa5b75b2d427be7a16
Signed-off-by: Nikita Ioffe <ioffe@google.com>

BUILD.bazel

@@ -424,6 +424,40 @@ pkg_install(
     destdir = "out/kernel_aarch64_microdroid/dist",
 )
 
+kernel_build(
+    name = "kernel_aarch64_microdroid_16k",
+    srcs = [":kernel_aarch64_sources"],
+    outs = [
+        "Image",
+        "System.map",
+        "modules.builtin",
+        "modules.builtin.modinfo",
+        "vmlinux",
+        "vmlinux.symvers",
+    ],
+    build_config = "build.config.microdroid.aarch64",
+    make_goals = [
+        "Image",
+    ],
+    makefile = ":Makefile",
+    page_size = "16k",
+)
+
+pkg_files(
+    name = "kernel_aarch64_microdroid_16k_dist_files",
+    srcs = [
+        ":kernel_aarch64_microdroid_16k",
+    ],
+    strip_prefix = strip_prefix.files_only(),
+    visibility = ["//visibility:private"],
+)
+
+pkg_install(
+    name = "kernel_aarch64_microdroid_16k_dist",
+    srcs = ["kernel_aarch64_microdroid_16k_dist_files"],
+    destdir = "out/kernel_aarch64_microdroid_16k/dist",
+)
+
 # 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(