[U-Boot] [PATCH 0/4] Accurate boot time measurement

[Graeme Russ]

>
> Anyway, my point is, if the timer API wasa fixed, all the boot logging API
> needs to do is call get_timer() and your done - instant millisecond

make that microsecond ;)

> timestamp - No fallbacks - Each arch just needs to implement get_timer()
> correctly
>