svga: Add vmwgfx_drm.h file from vmwgfx kernel driver