Remove duplicate console_printf/printf implementations (just use printf everywhere)
Should also fix Lua not being able to print complete stacktraces.
Anything broken?
Related: probably we should also replace Canon's vsnprintf with the one from dietlibc.
Reason: Canon's vsnprintf uses nonstandard behavior in some cases. What I remember:
- %2d with a larger number (4-5 digits) => gibberish
- %% must be used with a dummy argument, e.g. printf("%d%% %d", a, 0, b), unlike in plain C, where you don't need that extra 0.
Cost: 2.8K.