Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/arm32/src/arm32.c	(revision 9cd98796ce2b79a13dae8d49fe37ce6be500f3b8)
@@ -50,5 +50,5 @@
 #include <macros.h>
 
-/** Performs arm32 specific initialization before main_bsp() is called. */
+/** Performs arm32-specific initialization before main_bsp() is called. */
 void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/ia64/src/ia64.c	(revision 9cd98796ce2b79a13dae8d49fe37ce6be500f3b8)
@@ -71,4 +71,5 @@
 static uint64_t iosapic_base = 0xfec00000;
 
+/** Performs ia64-specific initialization before main_bsp() is called. */
 void arch_pre_main(void)
 {
Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/mips32/src/mips32.c	(revision 9cd98796ce2b79a13dae8d49fe37ce6be500f3b8)
@@ -77,4 +77,5 @@
 count_t cpu_count = 0;
 
+/** Performs mips32-specific initialization before main_bsp() is called. */
 void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 9cd98796ce2b79a13dae8d49fe37ce6be500f3b8)
@@ -52,4 +52,5 @@
 bootinfo_t bootinfo;
 
+/** Performs ppc32-specific initialization before main_bsp() is called. */
 void arch_pre_main(void)
 {
Index: kernel/arch/sparc64/src/sparc64.c
===================================================================
--- kernel/arch/sparc64/src/sparc64.c	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
+++ kernel/arch/sparc64/src/sparc64.c	(revision 9cd98796ce2b79a13dae8d49fe37ce6be500f3b8)
@@ -51,5 +51,5 @@
 bootinfo_t bootinfo;
 
-/** Perform sparc64 specific initialization before main_bsp() is called. */
+/** Perform sparc64-specific initialization before main_bsp() is called. */
 void arch_pre_main(void)
 {