Re: [PATCH 1/3] iommu: fix compilation when CONFIG_PCI disabled