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.