https://bugs.freedesktop.org/show_bug.cgi?id=75223
--- Comment #3 from Adam J. Richter adam_richter2004@yahoo.com --- Just to clarify, I confirm that that patch made both video cards successfully output 3840x2160 over HDMI to a Seiki se39uy04 television.