Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/arm32/src/fpu_context.c	(revision cdc433468942845e697cf19ce654c95c544c367e)
@@ -180,4 +180,6 @@
 void fpu_setup(void)
 {
+	uint32_t mvfr0;
+
 	/* Enable coprocessor access*/
 	fpu_enable_coprocessor_access();
@@ -205,6 +207,6 @@
 	case FPU_VFPv3_COMMONv2:
 	case FPU_VFPv3_NO_COMMON:
-	case FPU_VFPv3_COMMONv3: {
-		const uint32_t mvfr0 = mvfr0_read();
+	case FPU_VFPv3_COMMONv3:
+		mvfr0 = mvfr0_read();
 		/* See page B4-1637 */
 		if ((mvfr0 & 0xf) == 0x1) {
@@ -219,6 +221,4 @@
 		break;
 	}
-
-	}
 }