[PATCH 1/5] lib/vsprintf.c: make sure vsnprintf() never returns a negative value