Update microkernel systems to use the new driver initialization model on the timer driver. Change-Id: Ida9ef2a395d0dddf4104d490d78b13b11ea3c347 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>