Index: boot/arch/arm32/src/asm.S
===================================================================
--- boot/arch/arm32/src/asm.S	(revision d4a829e15ff53d4529f6faccc7aa01dc9efccd08)
+++ boot/arch/arm32/src/asm.S	(revision f5e5f73a339f61a91c3b3d97e7798f71f126023a)
@@ -68,5 +68,5 @@
 	mrc	p15, 0, r4, c1, c0, 0
 	
-	# D-cache before the kernel is started.
+	# Disable D-cache before the kernel is started.
 	bic	r4, r4, #(1 << CP15_C1_DC)
 
