https://bugzilla.kernel.org/show_bug.cgi?id=53391
--- Comment #9 from Marcin Slusarz marcin.slusarz@gmail.com 2013-02-11 22:12:35 --- Yes, please do it. I think it will fix all issues (both VGA and DVI setups will work and output numbering will be correct).