Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision a9bd960daade7926c1cbbb3a6c7b8a65901cd9d4)
+++ kernel/arch/arm32/src/mm/page.c	(revision 226f72e46b5803dcbb9fe870d40b76d505a7b53e)
@@ -55,8 +55,4 @@
 	page_mapping_operations = &pt_mapping_operations;
 
-#ifdef PROCESSOR_ARCH_armv6
-	/* Select ARMv6 and ARMv7 memory model */
-	SCTLR_write(SCTLR_read() | SCTLR_EXTENDED_PT_EN_FLAG);
-#endif
 	page_table_lock(AS_KERNEL, true);