Just to close out this thread I went with the F4-3600C16D-32GVKC kit, everything is working fine - XMP is enabled although I have everything at stock speeds and voltages. Although I ordered 2x 32GB kits (4x 16GB sticks total) and ended up putting 1 kit in my wife's PC - so now I'm ordering 2 more kits.