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