[PATCH v6 01/10] tee: tee_device_alloc(): copy dma_mask from parent device