remove redundencies in the Doxygen documentation.
* Print a small message at kernel boot time just to check that the kernel was properly loaded.
as multiboot kernels.