options vfio-pci ids={{ ','.join(pcie_device_ids) }}