Merge pull request #4076 from gilles-peskine-arm/psa-test-enumerate-not-supported

Test case generation framework: PSA key-type-not-supported