Index: /trunk/src/VBox/Main/ConsoleImpl2.cpp
===================================================================
--- /trunk/src/VBox/Main/ConsoleImpl2.cpp	(revision 33706)
+++ /trunk/src/VBox/Main/ConsoleImpl2.cpp	(revision 33707)
@@ -535,5 +535,5 @@
     uint32_t cbRamHole = MM_RAM_HOLE_SIZE_DEFAULT;
     uint64_t u64McfgBase   = 0;
-    uint64_t u64McfgLength = 0;
+    uint32_t u32McfgLength = 0;
 
     ChipsetType_T chipsetType;
@@ -543,6 +543,6 @@
         /* We'd better have 0x10000000 region, to cover 256 buses
            but this put too much load on hypervisor heap */
-        u64McfgLength = 0x4000000; //0x10000000;
-        cbRamHole += u64McfgLength;
+        u32McfgLength = 0x4000000; //0x10000000;
+        cbRamHole += u32McfgLength;
         u64McfgBase = _4G - cbRamHole;
     }
@@ -875,5 +875,5 @@
             /* Provide MCFG info */
             InsertConfigInteger(pCfg,  "McfgBase",   u64McfgBase);
-            InsertConfigInteger(pCfg,  "McfgLength", u64McfgLength);
+            InsertConfigInteger(pCfg,  "McfgLength", u32McfgLength);
 
 
@@ -2322,5 +2322,5 @@
             {
                 InsertConfigInteger(pCfg,  "McfgBase",   u64McfgBase);
-                InsertConfigInteger(pCfg,  "McfgLength", u64McfgLength);
+                InsertConfigInteger(pCfg,  "McfgLength", u32McfgLength);
             }
             InsertConfigInteger(pCfg,  "HostBusPciAddress", u32HbcPciAddress);