Merge changes I43bf09d8,I1fd35d0e

* changes:
  Disallow microdroid from running arbitrary domains
  Add domain for compos binaries