Sorry for the sloppy coding.  Right the proper config file name is: /boot/config/vfio-pci.cfg and if you enclose the BIND string in quotes it should work for multiple devices, eg: BIND="07:00.0 08:00.0" We'll make this more robust in next release.     The history of this was that we initially called it 'vfio-bind' with 'vfio-bind.cfg' and with simply a list of device-id's in the config file, one per line.  Then decided at last minute before release it would be better