[TF-M] Re: Problem compiling Trusted Firmware M in Linux for PSOC64