I've been involved in a thread on the Corsair forum about the Microsoft AHCI driver versus the AMD AHCI driver and SSD performance.
It was a question I asked on here a while back with little or no response. I thought I'd post the link on here in case others find it useful.
http://forum.corsair.com/v3/showthread.php?t=92885