kern/39931: RB_FREQUENCY constant wrong

[miod%online.fr@localhost]

>Number:         39931
>Category:       kern
>Synopsis:       RB_FREQUENCY constant wrong
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Nov 15 21:50:00 +0000 2008
>Originator:     Miod Vallat
>Release:        HEad
>Organization:
>Environment:
>Description:
RB_FREQUENCY is supposed to be the Rambo bus clock divided by 4.

Before rambo.h 1.5, this define did not exist and was hardcoded correctly. 
sys/arch/mipsco/obio/rambo.h 1.5 introduces it, but as 625,000 instead of 
6,250,000 (25MHz/4).
>How-To-Repeat:
Code inspection.
>Fix:
Add the missing zero to RB_FREQUENCY.