Re: [PATCH 07/18] drm/vc4: hdmi: Add full range RGB helper