[stable:PATCH v4.9.309 16/43] arm64: arch_timer: Add workaround for ARM erratum 1188873