Re: [Tee-dev] problems with full system build on juno R2