Index: boot/arch/arm32/include/arch/mm.h
===================================================================
--- boot/arch/arm32/include/arch/mm.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ boot/arch/arm32/include/arch/mm.h	(revision a05ec6671002c451fceb01aa0ab3f71f004efb6d)
@@ -71,6 +71,8 @@
 #define BCM2835_RAM_END     0x20000000
 
-/* Page table level 0 entry - "section" format is used
- * (one-level paging, 1 MB sized pages). Used only while booting the kernel.
+/** Page table level 0 entry
+ *
+ * "section" format is used (one-level paging, 1 MB sized pages).
+ * Used only while booting the kernel.
  */
 typedef struct {