Re: [PATCH v3 2/2] optee: allocate shared memory with alloc_pages_exact()