Configuring PCI devices