Index: kernel/genarch/src/drivers/bcm2835/mbox.c
===================================================================
--- kernel/genarch/src/drivers/bcm2835/mbox.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/bcm2835/mbox.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -26,5 +26,5 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-/** @addtogroup genarch
+/** @addtogroup kernel_genarch
  * @{
  */