Re: [TF-M] [EXTERNAL] RE: Adding a platform specific tfm_svc_number_t