[kbuild-all] Re: [PATCH 06/18] drm/vc4: Rework the encoder retrieval code