[U-Boot] [PATCH] ARM: bcm2835: fix get_timer() to return mS

[Stephen Warren]

On 03/28/2013 03:00 AM, Albert ARIBAUD wrote:
> Hi Stephen,
> 
> On Thu, 21 Mar 2013 21:32:30 -0600, Stephen Warren
> <swarren at wwwdotorg.org> wrote:
> 
>> Apparently, CONFIG_SYS_HZ must be 1000. Change this, and fix the timer
>> driver to conform to this.
>
> Is this a fix to some known issue or bug?

Yes. The bootdelay timeout implementation was recently(?) changed and
the new code doesn't use CONFIG_SYS_HZ at all, but rather assumes that
it's 1000. Since rpi_b's SYS_HZ was 1000000, the bootdelay runs by far
too fast. This fixes that.