x86: allow to have more than one kind of IOMMU
(cherry picked from commit 65b133e5d292686fe20f11dd39b53812226a8684)