[TF-M] Re: Build error for PSE84