Ah, ok. Right.
With R4.0 we saw use of PV mode being deprecated for IOMMU-less systems, but the installer allowed installing without IOMMU, and PV mode was the only way to passthrough PCI (less-safely).
However, R4.1 now requires a functioning IOMMU to install.
Are there that many USB controllers on systems with a functioning IOMMU that are incompatible with the IOMMU?**
B
** I shouldn’t be surprised if the answer is yes, I suppose.