I answered you post at XS but will also reply here.
To install Windows you don't need any drivers. In the BIOS set hot-plugging to enabled for the port the Vertex3 is connected to. Once in Windows you can install the Intel AHCI drivers. I use the 10.1.0.1008 drivers without issue. Also in the Windows power plan, advanced settings, set the hard drive power down to never.