Add modules for microdroid GKI am: d25151e14a am: 8a0e3c9ad5 am: d562068d90

Original change: https://android-review.googlesource.com/c/kernel/prebuilts/6.1/x86-64/+/2816021

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