Comment # 3 on bug 75223 from Adam J. Richter

Just to clarify, I confirm that that patch made both video cards successfully
output 3840x2160 over HDMI to a Seiki se39uy04 television.