Re: [PATCH 09/10] drm/vc4: Use drm_crtc_mask()