[TF-A] Re: TBBR: Question about the available Non Volatile Counters