One more cosmetic note: Despite HDMI 2 modes with up to 600MHz working fine for
me, now, log messages emitted still talk about "max TMDS clock 300MHz", but
other messages and the display clearly indicate that in fact up to 600MHz are
in use.