Timer and printk updates

Change-Id: Icb2b55520c281b0db4e4629aa321037bdc595b39