ARM: highbank: fix get_tbclk value to timer rate

get_tbclk should return the timer's frequency, not CONFIG_SYS_HZ.

Signed-off-by: Rob Herring <rob.herring@calxeda.com>
1 file changed