You are using the default msahci driver, recommend downloading the latst intel RST driver Ver 10.6.
That should change the driver to iaSTor.
Link for RST driver (Should be on Intel's sata III Port: http://downloadcenter.intel.com/SearchResult.aspx?lang=eng&ProductFamily=Chipsets&ProductLine=Chipset+Software&ProductProduct=Intel%c2%ae+Rapid+Storage+Technology
The 2nd OK is for partition alignment.
Side Note: Do NOT want to run the benchmark program to often, will start showing poor benchmarks. Trim and Carbage collection take time on the M4.
Screen shot of My M4 (With Firmware 0009) using AS SSD. It's the 128 gig, so 64 gig should be a little slower.