Somehow the bug is solved now. Probably with the yesterdays xorg update. The monitor is now at the proper resolution at startup, and I don't have to use the workaround from comment 9....
Somehow the bug is solved now. Probably with the yesterdays xorg update. The monitor is now at the proper resolution at startup, and I don't have to use the workaround from comment 9....