lib/printf.c: making serial_printf return vsprintf ret value