Add the system timer using clockevents with the internal TC32 timer.
This also adds a clocksource using the same timer.
Signed-off-by: N"Hans J. Koch" <hjk@linutronix.de>
Signed-off-by: NThomas Gleixner <tglx@linutronix.de>