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

We don't use `\SI` anywhere else. I think `25 MHz` is fine