Re: [PATCH 02/33] drm/vmwgfx: Update the svga3d register header file for new device version