Re: [Linaro-acpi] [PATCH v6 03/10] clocksource/drivers/arm_arch_timer: Improve printk relevant code