Add a vtprintf.  It is to tprintf what vprintf is to printf.

Reviewed by:	kib
Fix of r255318: move sf_buf_alloc()/sf_buf_free() out of #ifdef
ARM_USE_SMALL_ALLOC.