Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/acpi/acpi.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/acpi/madt.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */