Bug fix: save the driver's persistent data in destroy_key
diff --git a/library/psa_crypto.c b/library/psa_crypto.c
index 92364ca..eefb261 100644
--- a/library/psa_crypto.c
+++ b/library/psa_crypto.c
@@ -1007,7 +1007,11 @@
 #if defined(MBEDTLS_PSA_CRYPTO_SE_C)
     if( driver != NULL )
     {
-        status = psa_crypto_stop_transaction( );
+        psa_status_t status2;
+        status = psa_save_se_persistent_data( driver );
+        status2 = psa_crypto_stop_transaction( );
+        if( status == PSA_SUCCESS )
+            status = status2;
         if( status != PSA_SUCCESS )
         {
             /* TOnogrepDO: destroy what can be destroyed anyway */