Re: [PATCH v4 4/7] tee: Export uuidv5 generation for TEE backends