[PATCH] common: reword CONFIG_PBL_OPTEE help text

[Ahmad Fatoum]

The help text wasn't updated after the option was enabled for ARM64,
so adapt it accordingly.

Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de>
---
 common/Kconfig | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/common/Kconfig b/common/Kconfig
index 31360892aeef..9bb56b722435 100644
--- a/common/Kconfig
+++ b/common/Kconfig
@@ -1225,7 +1225,11 @@ config PBL_OPTEE
 	select HAVE_OPTEE
 	help
 	  Allows starting OP-TEE during lowlevel initialization of the PBL.
-	  Requires explicit support in the board's lowlevel file.
+	  Requires explicit support in the board's lowlevel file (for ARM32)
+	  or the generic SoC support (for ARM64).
+
+	  The trampoline for jumping back from OP-TEE to barebox does currently
+	  not handle THUMB2, so barebox must be built either for A32 or A64.
 
 endmenu
 
-- 
2.39.5