Added printf functions to include/sl/c/stdio.h and va_list to include/sl/c/private/_types.h