Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/softint/division.c	(revision d4eba6d776758cf1fb2f6c2a27ccd1ffb585d964)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/softint/multiplication.c
===================================================================
--- kernel/genarch/src/softint/multiplication.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/softint/multiplication.c	(revision d4eba6d776758cf1fb2f6c2a27ccd1ffb585d964)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */