Update printf.h from examples to work with PIC32 printf

Signed-off-by: Daniel Bittencourt <danielcbit@gmail.com>