|When in doubt always go with the Mainboard drivers.|
What I do know is that ASUS does not make SATA drivers. Remember way back when someone wanted to argue with me about AsMedia being a subsidiary of ASUS and hence AsMedia drivers were in effect developed by ASUS.
Well, they were wrong - and I proved it. AsMedia develops drivers for any motherboard manufacturer who requests them. In fact, AsMedia drivers have found there way into most Taiwan motherboards. And they are not ASUS.
Bottom Line: I believe that on an ASUS board that supports Intel Processors, you should use Intel AHCI drivers.
Conversely, on an ASUS board that support AMD processors, you should use AMD AHCI drivers.
Since this fellow's rig only has 1 SSD and 1 HDD, he would probably be safe going with the driver's on the motherboard setup disk. But please don't call them ASUS drivers.