[PATCH 4.9 16/43] arm64: arch_timer: Add workaround for ARM erratum 1188873