With "driver", do you here mean a software device driver or the SSD drive itself?
I will not use any RAID, just connecting the drive as a AHCI single device.
All I was saying is that the device mgr won't show the Marvell in the device mgr under storage controllers unless any Marvell driver is installed.
So for example, if you just install Windows to the drive then the active driver used for the SSD will not be listed in the device mgr under storage controllers and you will see the driver used for it under ide ata/atapi.
If you decide to install the Marvell driver after the install then you will no longer see the active driver used(MSAHCI) under ide ata/atapi as it would then be listed under the storage controllers(as Marvell).
Installing the Marvell driver just swaps the way device mgr shows the current driver used for the SSD, is all.
It looks to be the right file based on the download. I would install from the CD and see what files are installed. The file on ASUS should be the most current but I have never installed a Marvell controller, so I can't say with 100% certainty, if that is accurate drivers being installed (it sounds correct to me ).