[PATCH 1/5] clk/exynos5250: Fix HDMI clock number in documentation