[stable:PATCH v4.14.274 01/27] arm64: arch_timer: Add workaround for ARM erratum 1188873