[PATCH 4.17 133/324] arm64: Avoid flush_icache_range() in alternatives patching code