Ach so, schau doch mal bitte in den Gerätemanager nach der ID Deines SB710-Controllers.
Müsste so: PCI\VEN_1002&DEV_4392&CC_0104 ... so: PCI\VEN_1002&DEV_4391&CC_0106 oder so ähnlich aussehen.
Im AHCI-Modus also eigtl. nur die zweite ID-Nummer.
Bitte mal hier angeben, dass ich einen passenden Treiber finden kann.