HDMI: Add a section to the discussion chapter about clock-domains in HDM...

receives