[PATCH 3/4] mx25: fix time accounting

[Martin Fuzzey]

Hi Baruch,
>
> The strange thing is that the i.MX25 PDK works fine both ways. Maybe the move
> from RedBoot to Barebox has something to do with this ;-). I haven't tried
> Barebox on the PDK while booting from flash.
>
Could this possibly be related to the problem I ran into on MX21 a year ago?

http://www.spinics.net/lists/arm-kernel/msg64267.html

Does the MX25 manual contain any restrictions on the relations between
clock frequencies?

Martin