Re: [Tee-dev] [RESEND PATCH v1] firmware: tee_bnxt: Use UUID API for exporting the UUID