Buenas, el otro día me surgió un problema con la BIOS (se desconfiguraba la hora continuamente) así que decidí cambiar la pila de la BIOS por una CR2032 y el problema ya se ha solucionado (menciono esto porque no sé si tendrá algo que ver con el problema que voy a mencionar a continuación). Hoy me ha dado por hacer un UserBenchmark y me he fijado que el procesador (i7 6700k), en turbo solo llega a 3.95ghz, a pesar de que su turbo clock es de 4.2ghz y en test anteriores que hice hace tiempo, llegaba a esa frecuencia. Aquí os adjunto el link para que lo veais.
UserBenchmark