Index: kernel/arch/arm32/include/arch/mm/page_armv6.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 566da7f8b9ae23f19ca44e238d25be2b62d26752)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 9f40318f557a0b22171f1997b93f4193b9af8ae8)
@@ -258,5 +258,5 @@
 	if (flags & PAGE_CACHEABLE) {
 		/*
-		 * Write-through, no write-allocate memory, see ch. B3.8.2
+		 * Write-through, write-allocate memory, see ch. B3.8.2
 		 * (p. B3-1358) of ARM Architecture reference manual.
 		 * Make sure the memory type is correct, and in sync with: