Re: [PATCH v4 57/78] drm/vc4: hdmi: Deal with multiple debugfs files