iommu: disable SVA when CONFIG_X86 is set

...

How to Configure a Citrix Gateway Appliance with Unlimited ICA Connections

This article contains information about configuring a Citrix Gateway appliance with unlimited Independent Computing Architecture ICA connections...