Probably do have ahci select - BUT GOOD idea to verify. Reason is that with pcide driver, I think that your WEI would be closer to 5.9.
NOTE: If by chance it is set to ide- DO NOT Change as you will not be able to boot to windows. Follow this:
http://support.microsoft.com/kb/922976
I like to run AS SSD to verify SSD installation. You can download it and open it (DON'T need to run the benchmark). Just look at upper left and it will show you:
.. Firmware version.
.. Driver (and if pcide will also show"BAD")
.. And if partitions are aligned correctly.
http://www.filehippo.com/download_asssdbenchmark/