https://bugs.freedesktop.org/show_bug.cgi?id=41366
--- Comment #3 from Alex Deucher agd5f@yahoo.com 2011-10-05 15:08:22 PDT --- Strange, everything looks correct. I'll dig into it. Manually specifying the crtc seems to work, e.g.,
xrandr --output HDMI-0 --mode 1920x1200 --crtc 1 xrandr --output HDMI-0 --mode 1920x1200 --crtc 0