diff --git a/xen/arch/arm/tee/Kconfig b/xen/arch/arm/tee/Kconfig
index b4b6aa2610..392169b255 100644
--- a/xen/arch/arm/tee/Kconfig
+++ b/xen/arch/arm/tee/Kconfig
@@ -3,7 +3,8 @@ config OPTEE
 	default n
 	depends on TEE
 	help
-	  Enable experimental OP-TEE mediator. It allows guests to access
-	  OP-TEE running on your platform. This requires virtualization-enabled
-	  OP-TEE present. You can learn more about virtualization for OP-TEE
-	  at https://optee.readthedocs.io/architecture/virtualization.html
+	  Enable the OP-TEE mediator. It allows guests to access
+	  OP-TEE running on your platform. This requires
+	  virtualization-enabled OP-TEE present. You can learn more
+	  about virtualization for OP-TEE at
+	  https://optee.readthedocs.io/architecture/virtualization.html