Merge pull request #9680 from gilles-peskine-arm/test-cases-not-executed-enforce-3.6

Backport 3.6: Test cases not executed: switch to enforcement mode