Merge pull request #400 from gilles-peskine-arm/pages-drivers-20211117

Remove obsolete reference to the old driver interface
tree: 8179219ea836507fc7631f490bbdf3704d01d69f
  1. docs/
  2. Makefile
  3. update_psa_crypto_api.sh