ARM: OMAP3: fix build on !CONFIG_IOMMU_API