Völlig egal was dir angezeigt wird, 1263 Punkte hast du sicher nicht mit 3,5GHz erreicht. Das ist genau so viel, wie bei 4,2GHz für deine CPU normal ist.
Also ganz entspannt bleiben, die CPU nimmt den maximalen Takt wenn sie ihn braucht.
Stell doch mal auf Höchstleistung und schau dann nach, was CPU-Z dir anzeigt. Ich garantiere dir aber, dass deine CPU im Cinebench mit mehr als 3,5GHz läuft.