Merge pull request #2887 from gilles-peskine-arm/update-crypto-20191011

Update crypto submodule
diff --git a/crypto b/crypto
index 9ab7c07..3cdb3da 160000
--- a/crypto
+++ b/crypto
@@ -1 +1 @@
-Subproject commit 9ab7c07f1f370636fcaa8bc02e6f45035fab1596
+Subproject commit 3cdb3da3a0c1631e14434a219dfa787513a915a7