[PATCH kernel-4.19 199/337] clocksource/drivers/arm_arch_timer: Correct fault programming of CNTKCTL_EL1.EVNTI