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