Disable MBEDTLS_ECP_RESTARTABLE in full config

MBEDTLS_ECP_RESTARTABLE is not compatible with MBEDTLS_USE_PSA_CRYPTO.
diff --git a/scripts/config.pl b/scripts/config.pl
index 0e11399..d9bbf8c 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -39,6 +39,7 @@
 #   MBEDTLS_PKCS11_C
 #   MBEDTLS_PSA_CRYPTO_SPM
 #   MBEDTLS_PSA_INJECT_ENTROPY
+#   MBEDTLS_ECP_RESTARTABLE
 #   and any symbol beginning _ALT
 #
 
@@ -102,6 +103,7 @@
 MBEDTLS_NO_64BIT_MULTIPLICATION
 MBEDTLS_PSA_CRYPTO_SPM
 MBEDTLS_PSA_INJECT_ENTROPY
+MBEDTLS_ECP_RESTARTABLE
 _ALT\s*$
 );