tranquilamente puedes poner DDR3-1333 o DDR3-1600 o más rapidas (1800, 2000) siempre y cuando especifiquen esa frecuencia a un máximo de 1.65v, aunque si van a mayor voltaje tampoco pasa nada, se autoconfiguran según el estandar JEDEC a 1.5v (lo que hagan a ese voltaje)...
con los multiplicadores estandar para el Ci7, las memorias se poner a 800 o 1066, sólo hace falta cambiar el multiplicador de la memoria a 10 (creo recordar) para que se pongan a 1333...