Re: [TF-A] issue with vsnprintf() and unsigned_num_print()