[PATCH v2 00/27] Add support for R40 HDMI pipeline