Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision e4d96e9386cdf86237fbc59dfe286c09d4a45432)
+++ kernel/arch/arm32/src/fpu_context.c	(revision 5c4356b5f3f4cd3beea6f5bb4dc3ed4422fe8dd5)
@@ -119,8 +119,8 @@
  * rely on user decision to use CONFIG_FPU.
  */
-#ifdef PROCESSOR_ARC_armv7_a
+#ifdef PROCESSOR_ARCH_armv7_a
 	const uint32_t cpacr = CPACR_read();
 	/* FPU needs access to coprocessor 10 and 11.
-	 * Moreover they need to have same access enabledd */
+	 * Moreover they need to have same access enabled */
 	if (((cpacr & CPACR_CP_MASK(10)) != CPACR_CP_FULL_ACCESS(10)) &&
 	   ((cpacr & CPACR_CP_MASK(11)) != CPACR_CP_FULL_ACCESS(11))) {