[PATCH 2/7] drm/vmwgfx: Update device includes for DX device functionality