[PATCH 4.19 40/80] arm64: fix the flush_icache_range arguments in machine_kexec