if config.pci_enable:
    src.c += "pci.c"