I connected the second monitor using the spare digital output and the problem never ever reappeared, so I really think that the bug affected the vga output. I don't have access to that computer anymore so I can't test it further, sorry
I connected the second monitor using the spare digital output and the problem never ever reappeared, so I really think that the bug affected the vga output. I don't have access to that computer anymore so I can't test it further, sorry