SoC Audio support for i.MX boards with HDMI port