This is just a hunch, as I do not know from your description what the
problem is, but please do make sure that your BIOS is set to use AHCI
mode.  We now have an AHCI driver in-tree.

Regards,

--Blair

-- 
Support WFMU-FM: free-form radio for the masses!

<http://www.wfmu.org/>
91.1 FM Jersey City, NJ
90.1 FM Mt. Hope, NY

"The Reggae Schoolroom":
<http://www.wfmu.org/playlists/RS/>