Update for certain Linux users: Linux 3.14-rc6, released a few hours ago, apparently fixes a bug that prevented operation of HDMI 3840x2160 @ 30Hz using the open source ATI/AMD Radeon drivers in X windows with Radeon hardware that supported it, such as the r7 cards I mentioned in my previous posting, which I previously was only able to run at 15Hz at this resolution.
