Index: /trunk/src/VBox/Devices/Storage/DevAHCI.cpp
===================================================================
--- /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 42203)
+++ /trunk/src/VBox/Devices/Storage/DevAHCI.cpp	(revision 42204)
@@ -6766,11 +6766,5 @@
         SSMR3GetU32(pSSM, &u32IOBuffer);
         if (u32IOBuffer)
-        {
-            /* skip the buffer . IO Buffer is not required.. */
-            uint8_t u8Ignored;
-            size_t cbLeft = u32IOBuffer;
-            while (cbLeft-- > 0)
-                SSMR3GetU8(pSSM, &u8Ignored);
-        }
+            SSMR3Skip(pSSM, u32IOBuffer);
     }