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 c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -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 c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -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 c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup abs32le
+/** @addtogroup kernel_abs32le
  * @{
  */