HDMI 4k support v3

Damien Lespiau
2013-08-14T17:19:03Z

Follow up on v2:
http://lists.freedesktop.org/archives/dri-devel/2013-August/043604.html

With the quick and nice reviews from Ville and Simon, it's time for a v3:
- Fix embarrassing hmdi typo
- Fix the sending of vendor specific infoframes for side-by-side half modes
- Smaller changes here and there.

--
Damien