Vaya, qué velocidad respondiendo!
Bueno por lo menos tú respuesta me tranquiliza un poco. Ya me veía haciendo la marcha del elefante a devolver la ram. Se me olvidó comentar en el primer mensaje que mi placa base es una MSI P43 NEO. Lo digo por si resulta que sí hay que modificar la frecuencia a mano, a ver si alguien me puede orientar. Ya os dige: no hay ninguna opción que ponga claramente: memory frequency. Hay una que pone "adjusted DRAM frequency", pero aparece en gris (no la puedo modificar, se modifica modificando otras cosas). Me remití a mí mismo al manual de la placa, pero todo lo que habla de la BIOS es: dale a Load Optimiced Defaults y yastá. xD