Index: boot/arch/arm32/loader/boot.S
===================================================================
--- boot/arch/arm32/loader/boot.S	(revision 960f84768e13fb491ebebcac42ca8af66a4cd0d3)
+++ boot/arch/arm32/loader/boot.S	(revision 9f491d755d1e213ec6dc6a92dfdd6a178e5971cc)
@@ -40,4 +40,9 @@
 
 jump_to_kernel:
+	#
+	# TODO
+	# Make sure that the I-cache, D-cache and memory are mutually coherent
+	# before passing control to the copied code.
+	#
 	bx r0