diff --git a/microdroid/kdump/kernel/Android.bp b/microdroid/kdump/kernel/Android.bp
index 65cb2be..093e7c7 100644
--- a/microdroid/kdump/kernel/Android.bp
+++ b/microdroid/kdump/kernel/Android.bp
@@ -12,7 +12,7 @@
 
 prebuilt_etc {
     name: "microdroid_crashdump_kernel",
-    src: "empty", // for other 32-bit architectures like x86 and arm
+    compile_multilib: "64",
     arch: {
         arm64: {
             src: "arm64/kernel-5.15",