Merge pull request #155 from gilles-peskine-arm/psa-se_driver-registration

Secure element driver registration