mboot64: Timer implementation.

Support for the generic ARM timer.

Strangely enough, the timer appears to run at about a third
of the declared (24MHz) speed.

Signed-off-by: Andrei Warkentin <andrey.warkentin@gmail.com>