--- VirtualBox-4.2.4.orig/src/VBox/Devices/testcase/tstDeviceStructSize.cpp	2012-11-16 22:16:19.000000000 +0600
+++ VirtualBox-4.2.4.orig/src/VBox/Devices/testcase/tstDeviceStructSize.cpp	2012-11-16 22:18:03.000000000 +0600
@@ -317,9 +317,11 @@ 
 #endif
     CHECK_MEMBER_ALIGNMENT(PITState, StatPITIrq, 8);
     CHECK_MEMBER_ALIGNMENT(SerialState, CritSect, 8);
+    /*
     CHECK_MEMBER_ALIGNMENT(VGASTATE, Dev, 8);
     CHECK_MEMBER_ALIGNMENT(VGASTATE, lock, 8);
     CHECK_MEMBER_ALIGNMENT(VGASTATE, StatRZMemoryRead, 8);
+    */
     CHECK_MEMBER_ALIGNMENT(VMMDevState, CritSect, 8);
 #ifdef VBOX_WITH_VIRTIO
     CHECK_MEMBER_ALIGNMENT(VPCISTATE, cs, 8);