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