Re: [PATCH v4 3/4] drm/vmwgfx: Fix handling of dumb buffers