Re: [PATCH 3/7] drm/vc4: Add KMS support for Raspberry Pi.