[PATCH 2/2] drm/vc4: hdmi: Convert to gpiod