Add missing printf(), putchar() + MICO32 run time library files