[PATCH 2/5] drm/vmwgfx: Update device headers