Add -pkvm_experimental to the kernel prebuilt

Current name suggests that android14-6.1 GKI can be run as guest, which
is not true. Resolve this confusion by explicitly specifying
-pkvm_experimental to the name, which points out that this image was
built from the android14-6.1-pkvm_experimental branch.

Bug: 329383978
Test: AVF presubmit
Change-Id: Ib703a4d2fdc09bd83e63bdc9de01c393f097c9ea

1 files changed, 4 insertions, 4 deletions

diff --git a/microdroid-gki/Android.bp b/microdroid-gki/Android.bp
index 21ee034..0886738 100644
--- a/microdroid-gki/Android.bp
+++ b/microdroid-gki/Android.bp
@@ -3,7 +3,7 @@ package {
 }
 
 prebuilt_kernel_modules {
-    name: "microdroid_gki_kernel_modules-6.1-x86_64",
+    name: "microdroid_gki_kernel_modules-6.1-pkvm_experimental-x86_64",
     srcs: [
         "zram.ko",
         "zsmalloc.ko",
@@ -13,14 +13,14 @@ prebuilt_kernel_modules {
 }
 
 filegroup {
-    name: "microdroid_gki_kernel_prebuilts-6.1-x86_64",
+    name: "microdroid_gki_kernel_prebuilts-6.1-pkvm_experimental-x86_64",
     srcs: ["kernel-6.1"],
 }
 
 android_filesystem {
-    name: "microdroid_gki_modules-6.1-x86_64",
+    name: "microdroid_gki_modules-6.1-pkvm_experimental-x86_64",
     deps: [
-        "microdroid_gki_kernel_modules-6.1-x86_64",
+        "microdroid_gki_kernel_modules-6.1-pkvm_experimental-x86_64",
     ],
     type: "compressed_cpio",
 }