Add support for 64bit integers to kprintf.cpp.

Supported formats: %l %lu %lx.
Real author: Markus Reiter-Haas.