[PATCH 01/13] drm/vmwgfx: Assume larger framebuffer max size.