Re: [PATCH] drm/vc4: improve throughput by pipelining binning and rendering jobs