[PATCH 03/12] drm/vmwgfx: Stop hardcoding the PCI ID