Re: [PATCH v5 09/17] drm: create hdmi output property