I have been since the beginning, but maybe I didn’t set it up correctly? I added iommu=pt to the end of the linux line in /etc/default/grub and then ran grub2-mkconfig -o /boot/grub2/grub.cfg.
Here is what it looks like if I press e before booting.
