[PATCH -next 1/9] drm/vmwgfx: Update the device headers