Add support for 64bit integers to kprintf.cpp.

Supported formats: %l %lu %lx