[PATCH 5.5 080/120] arm64: kernel: Correct annotation of end of el0_sync