Creo que te lo marca bien, deberías mirar el Aida64 por eso, por que no conozco ese programa, pero las RAMs son DDR, que son las siglas de Double Data Rate, es decir, que lo que te da tienes que multiplicarlo por 2, lo es 800x2=1600Mhz.
A menos que me equivoque y el programa no te esté mostrando la frecuencia simple.