Index: /trunk/src/VBox/Devices/Storage/DevAHCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 65066)
+++ /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 65067)
@@ -58,5 +58,4 @@
 # include <iprt/time.h>
 #endif
-#include "PIIX3ATABmDma.h"
 #include "ide.h"
 #include "VBoxDD.h"
@@ -4971,5 +4970,5 @@
     }
 
-    SSMR3Skip(pSSM, 19 + 5 * sizeof(bool) + sizeof(BMDMAState));
+    SSMR3Skip(pSSM, 19 + 5 * sizeof(bool) + 8 /* sizeof(BMDMAState) */);
 
     for (uint32_t j = 0; j < 2; j++)