Re: [PATCH 0/5] drm/vc4: Use the firmware to stop the display pipeline