Merge changes Ibaa89dd0,I7ca0a7e7,Ib2ef34df into main

* changes:
  trusty: keymint: Add commandline option to specify device name
  trusty: keymaster: Add commandline option to specify device name
  trusty: gatekeeper: Add device option