Merge pull request #3037 from gilles-peskine-arm/update-submodule-20200206

Update crypto submodule 2020-02-06