Index: kernel/arch/abs32le/src/smp/ipi.c
===================================================================
--- kernel/arch/abs32le/src/smp/ipi.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/smp/ipi.c	(revision ee9c70363c6e7323102757dbe583add594ffef53)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/smp/smp.c
===================================================================
--- kernel/arch/abs32le/src/smp/smp.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/smp/smp.c	(revision ee9c70363c6e7323102757dbe583add594ffef53)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */
Index: kernel/arch/abs32le/src/smp/smp_call.c
===================================================================
--- kernel/arch/abs32le/src/smp/smp_call.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/abs32le/src/smp/smp_call.c	(revision ee9c70363c6e7323102757dbe583add594ffef53)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */