diff --git "a/ntoskrnl/mm/ARM3/expool.c" "b/ntoskrnl/mm/ARM3/expool.c"
index 3e5630bd1ac..ed5adba09ac 100644
--- "a/ntoskrnl/mm/ARM3/expool.c"
+++ "b/ntoskrnl/mm/ARM3/expool.c"
@@ -2692,7 +2692,10 @@ ExFreePoolWithTag(IN PVOID P,
     {
         DPRINT1("Freeing pool - invalid tag specified: %.4s != %.4s\n", (char*)&TagToFree, (char*)&Tag);
 #if DBG
-        KeBugCheckEx(BAD_POOL_CALLER, 0x0A, (ULONG_PTR)P, Tag, TagToFree);
+        if (TagToFree != 'MKmv' || Tag != 'BGmv') /* Workaround for vmx_svga.sys */
+        {
+            KeBugCheckEx(BAD_POOL_CALLER, 0x0A, (ULONG_PTR)P, Tag, TagToFree);
+        }
 #endif
     }