No doubt about it on both counts . . . . .
Looking at IB-E, Not sure MSI will have a BIOS update for the gd65
Their has not been a BIOS update in forever and while it is a nice overclocking board it simply can not do the advertised 2400 on the stix
Not sure why it has so much trouble with memory speed. The settings are there and loosened up timings that could work at 3000 on Haswell platform
I did get the 3930K it to bench at 5.1 though .......
but after that it is like hitting a brick wall no matter what I do