Oops! Let me check!
I can't seem to find any SATA/AHCI settings in the BIOS.
There's a SATA configuration menu, but it only allows me to enable/disable the SATA controllers, the Agressive LPM Support, each port, DevSlp, and Hot Plug.
The BIOS has a search function and I typed AHCI and nothing...