"maximum *nominal* frequency"

results.tex

@@ -7,7 +7,8 @@ Intel Core i5-3210 (Ivy Bridge),
 Intel Core i7-4770 (Haswell),
 and the ARM STM32F407 (Cortex-M4).
 On the Intel processors, all measurements were done with Turbo Boost disabled, 
-all Hyper-Threading cores shut down, and with the CPU clocked at the maximum frequency.
+all Hyper-Threading cores shut down, and with the CPU clocked at the maximum
+nominal frequency.
 We list the benchmarking results in Table~\ref{tab:benchmarks}. As expected,
 none of our implementations exceed the performance of Curve25519.