I've also got a Samsung SM951 (AHCI!) and an ASUS Z97-K/USB 3.1I already extracted the SAMSUNG_M2_DXE from the AsRock BIOS, inserted it into the latest ASUS BIOS and flashed it using AFUDOS. While this did not break anything the drive is still not re...