[PATCH v2 0/3] tools/nolibc: Support vprintf() so we can use kselftest.h with nolibc