kernel: Move some IOMMU options to generic