I have the same problem on a x58a ud3r, 6gb 4gb usable. does not do it all the time, im using 3x2gb muskin redline 1600 ram. Last night it was 6gb, today it is 4, next time i boot might be 6 or 4, it never changes to anything else.