[U-Boot] U-Boot configuration and latter Linux MMU init failures

[Scott Wood]

Remi Lefevre wrote:
> At last, I have some doubt about the fdt "timebase-frequency" value.
> It seems to be set to (bus_clk / 4) on mpc8260, but I cannot find
> in the mpc8270 (mpc8280) user manual any confirmation. Does this
> value only depends on cpu or could the board have any influence on it ?
> I know this is related to the decrementer register but I miss some basic
> understanding here.

It is not board-specific.  See section 1.1.8.2 of the G2 core reference 
manual.

-Scott