arm64: Fix __range_ok macro