Re: [PATCH v4 12/19] drm/bochs: Convert bochs driver to VRAM MM