That is correct. Remember, SATA is just serial-ATA. The controllers appear the same way on my HP computer. If the bios is set to raid, it is running AHCI.
You can always check for one or both of these registry settings and make sure it's set to zero. This will confirm it.