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