Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision b45c443eb976adbe668a3f855f749cf0ad3a5b3f)
+++ generic/src/main/kinit.c	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
@@ -28,5 +28,4 @@
 
  /** @addtogroup main
- * @ingroup kernel
  * @{
  */