Re: [PATCH] clocksource/drivers/arm_arch_timer: Disable timer before programming CVAL