I've been the happy owner of a Gigabyte GA-HA65M-UD3H-B3 for a little while, however any drives connected to the Marvell 88SE9172 chipset have never been recognised.

Turns out that the standard AHCI driver supports it just fine; it just doesn't know the vendor and product PCI identifiers. Simple fix is to teach the kernel about them post-boot;

/bin/echo 1b4b 9192 > /sys/bus/pci/drivers/ahci/new_id

This basically tells the AHCI driver to load itself for the vendor (1b4b) and product (9192) ID. I've cheated and bunged this into /etc/rc.local because I'm lazy, but equally you could let module-init-tools take care of it.

I'm yet to see any issues thus far, but as always if you do this make sure you backup your data first and regularly, I'm not responsible for any data loss, yadda, yadda, yadda. As for RAID mode, it's just standard fakeraid/dmraid and again I'm yet to see any issues with the standard dmraid, kpartx and mount tools in detecting and mounting existing partitions.

I've got a bug logged on the kernel bugzilla about getting it into mainline, so this hopefully shouldn't be necessary for all time.