Actually made kstdio work and change main to use it
Add hacky itoa implementation for kput_hex