Hanging at jiffies, missing timer clock function

With the addition of Machine Descriptor, I managed to progress a bit, but now I see that the linux kernel boot hangs waiting for jiffies value to be incremented by the timer function.

So, the next step is to implement OMAP timer functionality....