Merge "Skip ramdump when running Microdroid with GKI as kernel" into main am: d2b437a478 am: 5c467adffb

Original change: https://android-review.googlesource.com/c/platform/packages/modules/Virtualization/+/3112582

Change-Id: I1a7a90d4c44a516dcc7b5a6350bb6fc9b4831f3c
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>