This is an old revision of the document!
.. GRUB_CMDLINE_LINUX_DEFAULT="quiet intel_iommu=on" ..
... vfio vfio_iommu_type1 vfio_pci vfio_virqfd ...
lspci -vn | less -p VGA
... blacklist mgag200 blacklist nouveau ...