smdk4412: Provide available freq sysfs for exynos.

Needed for the frequency slider in Performance Settings to work properly.

Change-Id: If01258234d216a1ee37fb7b090c012b3d6cd09be