I'm using the standard firmware with an OpenEmbedded filesystem on a Juno Development Platform
Which core are you trying on ?
The list is as follows:
A57 : 450, 800, 1100 MHz
A53 : 450, 700, 850 MHz
So if you try 800MHz on A53, it choose closer option to that which is 850MHz.