Re: [PATCH v5 4/6] tee: add tee_dev_open_helper() primitive