options vfio-pci ids=1002:67df,1002:aaf0,1022:145a,1022:1456,1022:145c