KVM: use the new intel iommu APIs