Documentation kernel.h

[ridoo]

For kernel.h the demangle(const char *mangled_name) operation declares that it

Adds an operation to the commandhandler. The commandhandler is the internal 
object that handles commands but it is not visible to the outside clients

I cannot see that this is actually the case when looking to its implementation. As far as I understand the method is somewhoe correcting a string of some type which got corrupted.

I could be wrong, but this may be caused because of confusing documentation.