"Marvell Hercules-2" card?

[der Mouse <mouse%Rodents-Montreal.ORG@localhost>]

$DAYJOB is considering getting a card (Supermicro AOC-SAT2-MV8, in case
it matters) that is, according to the maker, "based on the Marvell
Hercules-2 Rev. C0 SATA host controller", as partial replacement for a
3ware card that may have problems (the machine has problems but we
don't yet know whether it's twe0 or something else that's at fault).

I had a look through 4.0.1's src/sys/dev (the machine in question is at
4.0.1) and didn't see anything that has the Marvell and Hercules names
together (at least not on a RAID driver - there were some network
interface drivers I didn't check to see whether they were false
positives).  The maker's webpage is rather badly designed (what a
surprise), but seems to imply that special drivers are needed for
Linux, which to me argues against NetBSD having support.  But I've
misread such things often enough before.

So, anyone know whether we've got support?

/~\ The ASCII                             Mouse
\ / Ribbon Campaign
 X  Against HTML                mouse%rodents-montreal.org@localhost
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B