I did something similar, I patched a Gigabyte Z77-DS3H bios with the SAMSUNG_M2_DXE module to get a Samsung SM951 AHCI M.2 SSD working. It's not SATA and not quite NVMe, PCIe AHCI existed for a short while before NVMe became ubiquitous.
This was to enable a screamer of a Hackintosh based on Mavericks which didn't have native NVMe support at the time.
This was to enable a screamer of a Hackintosh based on Mavericks which didn't have native NVMe support at the time.