Re: [GIT PULL v2] drm/mali-dp changes for v4.12 (or drm-next)