[OS-BUILD PATCH] redhat/configs: Set CONFIG_VIRTIO_IOMMU on aarch64