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 ccfe9c3c9dac64d390a6797468978df3f1231cab)
@@ -189,6 +189,5 @@
 		return;
 	}
-	switch (FPSID_SUBACHITECTURE(fpsid))
-	{
+	switch (FPSID_SUBACHITECTURE(fpsid)) {
 	case FPU_VFPv1:
 		printf("Detected VFPv1\n");