Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/arch/ia64/src/drivers/it.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64
+/** @addtogroup kernel_ia64
  * @{
  */
Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64
+/** @addtogroup kernel_ia64
  * @{
  */