Merge pull request #3126 from gilles-peskine-arm/merge-crypto-stragglers-20200325

Merge mbed-crypto stragglers 2020-03-25