E407/Makefile (CFLAGS): add -g for debug symbols
E407: replace print and printk with stdio. Add functions to newlib.c accordingly.