STE: ux500 hdmi support

Change-Id: I90ca2316ca006ad83de8b430cc1dadf7a887a9d8