Index: boot/arch/arm32/loader/boot.S
===================================================================
--- boot/arch/arm32/loader/boot.S	(revision 960f84768e13fb491ebebcac42ca8af66a4cd0d3)
+++ boot/arch/arm32/loader/boot.S	(revision 3527a93ddaba512a7a449377162634a7452e04a0)
@@ -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