[Tee-dev] allocating memory for DMA