[Linaro-acpi] [PATCH v4 4/5] clocksource: a little improvment for printk in arm_arch_timer.c