Index: /trunk/include/VBox/vmm/vm.h
===================================================================
--- /trunk/include/VBox/vmm/vm.h	(revision 38878)
+++ /trunk/include/VBox/vmm/vm.h	(revision 38879)
@@ -942,5 +942,5 @@
         struct TRPM s;
 #endif
-        uint8_t     padding[5184];      /* multiple of 64 */
+        uint8_t     padding[5248];      /* multiple of 64 */
     } trpm;
 
@@ -1075,5 +1075,5 @@
 
     /** Padding for aligning the cpu array on a page boundary. */
-    uint8_t         abAlignment2[862];
+    uint8_t         abAlignment2[798];
 
     /* ---- end small stuff ---- */