Re: [PATCH 1/3] drm/vmwgfx: Drop svga_lock