Comment 12 for bug 942814

issue is with the PRCM_HDMICLK_MGT register not being to set to required value "8c" by clock framework.
Work around is : in driver/mdf/db8500_prmcu.c , In function set_clock_rate , writel(val, clk_mgt[clock].reg);
manually set val = 8c ie if (clock==PRCMU_HDMICLK) val=0x8c ; writel(val, clk_mgt[clock].reg);