options vfio-pci ids=1002:9440,1002:aa30 disable_vga=1