Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -26,5 +26,5 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/bcm2835/mbox.c
===================================================================
--- kernel/genarch/src/drivers/bcm2835/mbox.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/bcm2835/mbox.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -26,5 +26,5 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/dsrln/dsrlnin.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/dsrln/dsrlnin.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/dsrln/dsrlnout.c
===================================================================
--- kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/dsrln/dsrlnout.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/ns16550/ns16550.c
===================================================================
--- kernel/genarch/src/drivers/ns16550/ns16550.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/ns16550/ns16550.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/omap/uart.c
===================================================================
--- kernel/genarch/src/drivers/omap/uart.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/omap/uart.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/pl011/pl011.c
===================================================================
--- kernel/genarch/src/drivers/pl011/pl011.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/pl011/pl011.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/s3c24xx/irqc.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx/irqc.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/s3c24xx/irqc.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/s3c24xx/uart.c
===================================================================
--- kernel/genarch/src/drivers/s3c24xx/uart.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/s3c24xx/uart.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */
Index: kernel/genarch/src/drivers/via-cuda/cuda.c
===================================================================
--- kernel/genarch/src/drivers/via-cuda/cuda.c	(revision cbc3587f1c1b12b55c63438c17c73b8c48edf6d6)
+++ kernel/genarch/src/drivers/via-cuda/cuda.c	(revision 92864752b1dfddb2a35e0b2216820f6ed1dbeb0d)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */