Merge pull request #3912 from gilles-peskine-arm/psa-external-random-test

Alternative random generator support for PSA: negative tests