I already had one 940 with a dead memory channel on the DFI, RMAing the CPU and putting a 920 in solved the 4GB issue.
So it might well be your CPU...

Still can't OC my D9GTR on the DFI by the way, at all. Even 1600 is highly unstable no matter the settings.
Seems like I need to get different mems...