[PATCH 13/15] drm/sun4i: Add HDMI support