Index: boot/arch/arm32/src/main.c
===================================================================
--- boot/arch/arm32/src/main.c	(revision 2e231aba2f8ff8ab107145e459a104ee6792090f)
+++ boot/arch/arm32/src/main.c	(revision 7cd15b90dc1ac87080acb929dab3c972b91231c7)
@@ -129,4 +129,7 @@
 	
 	printf(".\n");
+
+	/* Flush PT too. We need this if we disable caches later */
+	clean_dcache_poc(boot_pt, PTL0_ENTRIES * PTL0_ENTRY_SIZE);
 	
 	printf("Booting the kernel...\n");