[PATCH v7 01/11] tee: tee_device_alloc(): copy dma_mask from parent device