switched kickstart file udev to use PCI IDs