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