diff --git a/hypervisor/arch/x86/Kconfig b/hypervisor/arch/x86/Kconfig
index d15a7a39b..e8e427f58 100644
--- a/hypervisor/arch/x86/Kconfig
+++ b/hypervisor/arch/x86/Kconfig
@@ -93,7 +93,7 @@ config MAX_PT_IRQ_ENTRIES
 
 config MAX_IOMMU_NUM
 	int "Maximum number of IOMMU devices"
-	range 1 2
+	range 1 6
 	default 2
 	help
 	  The maximum number of physical IOMMUs the hypervisor can support.