Bývá to různé podle biosu, třeba v menu "IDE Configuration - Configure SATA as" nebo v menu "On-Chip ATA Devices - RAID Mode" a podobně.

//edit: teď jsem zběžně kouknul do manuálu a taky tam nastavení AHCI nevidím. Ještě je možnost, že má deska extra SATA řadič a nastavuje se v jeho biosu. Při startu se stiskne na výzvu určitá klávesa, otevře se bios řadiče a tam se podívat.