My bad, I though bugzilla.kernel.org would be appropriate, should I close it with a link on the Intel DRM Gitlab ? Here is the bug report: https://gitlab.freedesktop.org/drm/intel/issues/1145