[PATCH 3/5] drm/vmwgfx: Fix a 64bit regression on svga3