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

Update crypto submodule