[PATCH 20/33] drm/vmwgfx: Fix up the vmwgfx_drv.h header for new files