Re: [PATCH 28/59] drm/vmwgfx: takedown vram manager