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

250MHz is correct.