drm/vmwgfx: Assume larger framebuffer max size.