Re: [Tee-dev] [PATCH 0/2] tee fixes