lib: vsnprintf(): respect field width modifier for %s
clean up boot server TID assignment

They should start at UserBase and not 128 and 160.