Le ram sono vendute a 1600, quindi mettile assolutamente a 1600. Nel senso che 1333MHz CL9 sono lente (CL9 infatti è latenza altissima, quindi pompa su quei MHz )...
EDIT:
Ah, se hai le ram a 1333MHz e l'uncore a 3200 il sistema è instabile, in quanto deve essere al massimo il doppio delle ram, tutto in rapporto al QPI chiaramente. Non posso dirti di più perché non conosco il bios foxconn.