Index: sys/arm/arm/elf_trampoline.c
===================================================================
--- sys/arm/arm/elf_trampoline.c
+++ sys/arm/arm/elf_trampoline.c
@@ -710,6 +710,8 @@
 		/* So that idcache_wbinv works; */
 		if ((cpu_ident() & 0x0000f000) == 0x00009000)
 			arm9_setup();
+#elif defined(CPU_CORTEXA) || defined(CPU_KRAIT)
+		get_cachetype_cp15();
 #endif
 		setup_pagetables(pt_addr, (vm_paddr_t)curaddr,
 		    (vm_paddr_t)curaddr + 0x10000000, 1);