diff --git a/base-hw/src/core/cpu/arm_v7.h b/base-hw/src/core/cpu/arm_v7.h
index 0236d9c7d..1671bcd34 100644
--- a/base-hw/src/core/cpu/arm_v7.h
+++ b/base-hw/src/core/cpu/arm_v7.h
@@ -183,6 +183,7 @@ namespace Arm_v7
 		static void init_phys_kernel()
 		{
 			Board::prepare_kernel();
+			Sctlr::write(Sctlr::init_phys_kernel());
 			Psr::write(Psr::init_kernel());
 			flush_tlb();
 		}