Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision 6a8ddd3712c234be2a222a7dc9d7803bc9c667b0)
+++ kernel/arch/arm32/src/fpu_context.c	(revision 380e23a3c8b3d3f26d341005dda9e73e080e9aa2)
@@ -189,6 +189,5 @@
 		return;
 	}
-	switch (FPSID_SUBACHITECTURE(fpsid))
-	{
+	switch (FPSID_SUBACHITECTURE(fpsid)) {
 	case FPU_VFPv1:
 		printf("Detected VFPv1\n");