ANDROID: db845c use pkg_install().

copy_to_dist_dir is going to be deprecated soon. Switch to
pkg_install().

The only noticable difference is that, if a user specifies
an alternative distribution directory, they must use
--destdir, not --dist_dir.

Bug: 331730853
Change-Id: I81fd5bda823cc7bf6435cfbbb4af9d7c25a949df
Signed-off-by: HONG Yifan <[email protected]>

Author: HONG Yifan

BUILD.bazel

@@ -831,9 +831,9 @@ kernel_images(
     kernel_modules_install = ":db845c_modules_install",
 )
 
-copy_to_dist_dir(
-    name = "db845c_dist",
-    data = [
+pkg_files(
+    name = "db845c_dist_files",
+    srcs = [
         ":db845c",
         ":db845c_images",
         ":db845c_modules_install",
@@ -843,9 +843,14 @@ copy_to_dist_dir(
         ":kernel_aarch64_modules",
         ":kernel_aarch64_additional_artifacts",
     ],
-    dist_dir = "out/db845/dist",
-    flat = True,
-    log = "info",
+    strip_prefix = strip_prefix.files_only(),
+    visibility = ["//visibility:private"],
+)
+
+pkg_install(
+    name = "db845c_dist",
+    srcs = [":db845c_dist_files"],
+    destdir = "out/db845/dist",
 )
 
 _ROCKPI4_MODULE_OUTS = [