Index: kernel/arch/arm32/include/cp15.h
===================================================================
--- kernel/arch/arm32/include/cp15.h	(revision 7e87436b47fe77e9b7b3c41d0b98ac95f883aaec)
+++ kernel/arch/arm32/include/cp15.h	(revision eb1d9c1ec5f9861337c0110993060144c5bccd78)
@@ -51,5 +51,5 @@
 static inline void name##_write(uint32_t val) \
 { \
-	asm volatile ( "mrc p15, "#opc1", %0, "#crn", "#crm", "#opc2"\n" :: "r" (val) ); \
+	asm volatile ( "mcr p15, "#opc1", %0, "#crn", "#crm", "#opc2"\n" :: "r" (val) ); \
 }