[PATCH 4.14 01/27] arm64: arch_timer: Add workaround for ARM erratum 1188873