Comment # 1 on bug 1193457 from Stefan Dirsch

Last man standing trying to use two dedicated graphics cards in a desktop
system? ;-) Honestly, no idea. Most likely kernel related if already the
outputs have such strange naming (missing mapping maybe; I don't know). I
suggest to also provide dmesg output. I guess running "xrandr --auto" doesn't
change anything, right?