felboot: Replace util_printf.c with pristine printf-stdarg.c from menie.org

same code but the util_printf.c one was missing copyright attribution
and slightly hacked up.