Various utilities dealing with the PCI bus
