Hey,

Im afraid your theory about the NR RAM is incorrect.
I have the said RAM with the DS4 motherboard and it simply will not boot, however using some generic RAM it will boot.
There are many other people at forums.overclockers.co.uk with the same problem.
I only hope that Gigabyte release a BIOS to fix this problem.