Just a bit of added info though using different Gigabyte Mobo. I have disabled ports 6&7 nothing connected.
I no longer install any Marvell drivers though the G/byte workaround driver may be ok. Also had to disable
USB 3 ports as it was slowing down USB 2. Again no drivers installed.
I'm using OCZ Vertex 3 series max iops edition 120gb. Purchased, before I was aware of Marvell problems.
a Manhatten PCI Express add on card at least it has fast boot up time but may not be the best.
Much faster with SSD drive than intel ports. Have found with card drive speed is better in 2nd x16 slot which
is unused. Also an oddity on card port 2 is faster as only use a single plug in drive.
Only had my SSD about a week, I wasn't aware of a fimware update though is working OK, not tried
AHCI as yet.
Regards Tinker.