[PATCH v4 00/22] Support HDMI audio on NVIDIA Tegra20