Re: [PATCH 0/2] drm/vc4: Fixes for Raspberry Pi 3