Re: [Tee-dev] [Xen-devel] [PATCH v2 06/13] optee: add domain contexts