exynos-cpufreq: Fixing mainline cpufreq for Exynos.
By handling Exynos CPUFREQ this way, we can set the stock values on the frequency allowing the user to change the frequency via the original sysfs entries
mach-exynos/Kconfig: Force cpuidle to be disabled on HKDK4412

We are enforing this policy to prevent the infamous reboot bug on cpuidle.
Until this bug is fixed we can safely disable CPU_IDLE for ODROIDs.

The cost of leaving CPUIDLE enabled also doesn't make sense on a dev board that is always on.
The amount of battery saved by this will be marginal and people using ODROID's on battery probably won't notice the change.

This will also create a better user experience
Updating defconfigs to match new patchs
s5p-tv: Fixing 1080p60hz that was at 30hz
v4l2: Adding support for 480P60
s5p-tv: Adding extra resolution support
hdmi_v14: initial code to support more resolutions on boot.scr
s5p-tv: Sanity check on hdmi_v14_drv
s5p-tv: fixing pix clocks
s5p-tv: another method of handling hdmi resolution via the bootargs

parameters:
#V4L2_DV_480P60 = 19;
#V4L2_DV_576P50 = 2;
#V4L2_DV_720P60 = 8;
#V4L2_DV_720P50 = 6;
#V4L2_DV_1080P60 = 18;
#V4L2_DV_1080I60 = 13;
#V4L2_DV_1080I50 = 12;
#V4L2_DV_1080P50 = 17;
#V4L2_DV_1080P30 = 16;
#V4L2_DV_1080P24 = 14;
#V4L2_DV_1080P25 = 15;

hdmi_phys_res should be one of those numbers above
Exynos4x12-cpufreq: Bumping voltages to give more stability on some boards
Revert "mach-exynos/Kconfig: Force cpuidle to be disabled on HKDK4412"

This reverts commit 8ec3dff6edb47f17eae9170e7e040668040cdb5d.
Revert "Updating defconfigs to match new patchs"

This reverts commit e7f8f2a034673754228adf0bef5453000990bde6.
s5p-tv: Moving the configuration of the HDMI to a new way. We can now set the resolution and the hdmi phy mode.

There are two new kernel parameters.
hdtv_type=
hdtv_format=

hdtv_type:
Takes two possible parameters.     dvi   or   hdmi
hdtv_format:
Takes several possible parameters.
Possible values are:
480p60hz 576p50hz 720p60hz 720p50hz 1080p60hz 1080i60hz 1080i50hz 1080p50hz 1080p30hz 1080p25hz 1080p24hz
Those are the supported resolutions.

on the tools/hardkernel folder you'll find all needed HDMI and DVI boot.scrs already made for Ubuntu 13.04 Image.
tools/hardkernel: Adding the boot.scr generator script as well boot.scrs for ODROID-X/X2/U2
defconfigs: cleaning up modules that has the lowest usage chance
videobuf2: Add VSYNC support
eMMC: fixing reboot lockup while using eMMC
defconfigs: Enabling CGROUPs
Updating referece boot.scr to match actual ram size