Re: [PATCH v3 00/24] Add support for R40 HDMI pipeline