[PATCH 11/12] domain_validate.c: put IOMMU validation into a new function