Re: [PATCH 06/12] drm/vmwgfx: Update device headers for GL43