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

Remove obsolete reference to the old driver interface