Index: boot/arch/arm32/loader/boot.S
===================================================================
--- boot/arch/arm32/loader/boot.S	(revision 1eb154f4c7cdc356476ee62eed5380d8b15255d7)
+++ boot/arch/arm32/loader/boot.S	(revision 7a4202dd73f7bb539689bd5daa846b77584b939e)
@@ -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
 
Index: boot/arch/mips32/loader/asm.S
===================================================================
--- boot/arch/mips32/loader/asm.S	(revision 1eb154f4c7cdc356476ee62eed5380d8b15255d7)
+++ boot/arch/mips32/loader/asm.S	(revision 7a4202dd73f7bb539689bd5daa846b77584b939e)
@@ -107,5 +107,9 @@
 
 jump_to_kernel:
-#	.word 0x39
+	#
+	# TODO
+	# Make sure that the I-cache, D-cache and memory are mutually coherent
+	# before passing control to the copied code.
+	#
 	j $a0
 	nop