support HDMI controller on Odroid_x2

[Alexy Gallardo Segura]

Hello Genode community Hello Martin
I am currently working with odroid_x2. I'm trying to give support HDMI 
controller. I adapted the driver for exynos5 and works well but has a 
problem with screen resolutions. When the resolution setting is lower 
than the monitor supports the image is shown on one corner and the rest 
of image it looks deformed.

Martin this also happened in the exynos5 ? and not be so if you have any 
idea what could be the problem.

Best Regards

Alexy.