I have ported LMBench to run on the Zedboard, and in doing so the benchmark reported that the core is running at 800MHz, not 677MHz. I'm running Linaro's nano linux as my OS.
I decided to dig deeper, and found that there's supposed to be a speed grade marking on the chip right before the CLG484 text. On my chip, there is no speed grade marking. I'm wondering if the board I have is actually an 800MHz board?
I've also heard the dev/eval kit board chips have the exact same text written on them as the Zedboard chips.