arm64: Rework alternate sequence for ARM erratum 845719