Re: [PATCH v2 06/22] vga_switcheroo: Lock/unlock DDC lines harder