Hello Fabio,
Thanks a lot for the update and thanks specifically for the link to the patch!!
It will be helpful. I'm using a third part board so kind of stuck to the u-boot 2009.08. When I will start the HDMI task next time, I will try to port (either my setup to latest uboot or HDMI code to my u-boot).
Regards,
Prasant