[libc][printf] update printf callback to take a string instead of character at a time