Index: sys/arch/arm/arm32/arm32_machdep.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/arm32/arm32_machdep.c,v
retrieving revision 1.127
diff -u -p -r1.127 arm32_machdep.c
--- sys/arch/arm/arm32/arm32_machdep.c	4 Feb 2019 13:12:03 -0000	1.127
+++ sys/arch/arm/arm32/arm32_machdep.c	9 Apr 2019 10:27:54 -0000
@@ -729,7 +729,9 @@ cpu_init_secondary_processor(int cpuinde
 	// pmap_kernel has been sucessfully built and we can switch to it
 
 	cpu_domains(DOMAIN_DEFAULT);
+#if 0
 	cpu_idcache_wbinv_all();
+#endif
 
 	VPRINTS("index: ");
 	VPRINTX(cpuindex);
@@ -754,7 +756,11 @@ cpu_init_secondary_processor(int cpuinde
 	cpu_setttb(pmap_kernel()->pm_l1->l1_physaddr, true);
 #endif
 
+#if 0
 	cpu_tlb_flushID();
+#else
+	armv7up_tlb_flushID();
+#endif
 
 	VPRINTS(" (TTBR0=");
 	VPRINTX(armreg_ttbr_read());