options vfio-pci ids=10de:2216,10de:1aef disable_vga=1