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