options vfio-pci ids=10de:1b06,10de:10ef,8086:a36d,8086:a36f