Re: [PATCH v2 6/6] drm/tegra: Use u64_to_user_ptr helper