Switch to tombstoned.microdroid

Bug: 239367015
Test: microdroid presubmits
Change-Id: I734ca1d4eff19d928cc72104b159b58b207b44f6
diff --git a/microdroid/Android.bp b/microdroid/Android.bp
index 0364896..650f9ff 100644
--- a/microdroid/Android.bp
+++ b/microdroid/Android.bp
@@ -73,7 +73,7 @@
         "linker",
         "linkerconfig",
         "servicemanager.microdroid",
-        "tombstoned",
+        "tombstoned.microdroid",
         "tombstone_transmit.microdroid",
         "cgroups.json",
         "task_profiles.json",