ANDROID: Add ddk_headers_archive for aarch64

This is the prebuilt version of
//common:all_headers_aarch64. The init_ddk
script will extract this archive to re-create
the common/ source tree.

Bug: 301150319
Change-Id: I5b3b952f369fc9dc5b4d16ae2ed675f6588b4291
Signed-off-by: Yifan Hong <elsk@google.com>

BUILD.bazel

@@ -20,6 +20,7 @@ load(
     "android_filegroup",
     "checkpatch",
     "ddk_headers",
+    "ddk_headers_archive",
     "kernel_build",
     "kernel_images",
     "kernel_modules_install",
@@ -110,6 +111,7 @@ define_common_kernels(target_configs = {
     "kernel_aarch64": {
         "module_implicit_outs": get_gki_modules_list("arm64"),
         "make_goals": _GKI_AARCH64_MAKE_GOALS,
+        "ddk_headers_archive": ":kernel_aarch64_ddk_headers_archive",
         "extra_dist": [":test_mappings_zip"],
     },
     "kernel_riscv64": {
@@ -921,6 +923,14 @@ ddk_headers(
     visibility = ["//visibility:public"],
 )
 
+ddk_headers_archive(
+    name = "kernel_aarch64_ddk_headers_archive",
+    srcs = [
+        "all_headers_aarch64",
+    ],
+    visibility = ["//visibility:private"],
+)
+
 ddk_headers(
     name = "all_headers_arm",
     hdrs = [":all_headers_allowlist_arm"] + select({