[OS-BUILD PATCH] redhat/configs: Fix CONFIG_VIRTIO_IOMMU to 'y' on aarch64