Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision d4eba6d776758cf1fb2f6c2a27ccd1ffb585d964)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ppc32
+/** @addtogroup kernel_ppc32
  * @{
  */