[PATCH] drm/vc4: hdmi: make vc4_hdmi_codec_pdata static