If you open up your device manager and expand the "IDE ATA/ATAPI controllers" section, you will see your SATA controller there. Right click on it and update driver, then click browse, then click let me pick from a list. One of the drivers listed there should say something about Standard AHCI...