Kernel logging and knotting

The SP1 kernel provides a central logging facility for developers of system software to use, this can be found as the printf() function from the lib/printf.h header.