arm64: Clean up __flush_tlb(_kernel)_range functions