Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision b8bb2bca6faf41e1de3003ab6fccd7a856693d43)
+++ kernel/arch/arm32/src/fpu_context.c	(revision bafd198156ab492a6351b11d9a0ce6dae512e82a)
@@ -148,8 +148,5 @@
  * rely on user decision to use CONFIG_FPU.
  */
-#ifndef PROCESSOR_ARCH_armv7_a
-	return;
-#endif
-
+#ifdef PROCESSOR_ARCH_armv7_a
 	/* Allow coprocessor access */
 	uint32_t cpacr = CPACR_read();
@@ -159,6 +156,5 @@
 	cpacr |= (CPACR_CP_FULL_ACCESS(10) | CPACR_CP_FULL_ACCESS(11));
 	CPACR_write(cpacr);
-
-	smc_coherence(0);
+#endif
 }