[PATCH] Add printk_clock()