Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision 7e87436b47fe77e9b7b3c41d0b98ac95f883aaec)
+++ kernel/arch/arm32/src/fpu_context.c	(revision 07d62a987c309c42d1121ae81d084b1776b4f842)
@@ -170,7 +170,6 @@
 		} else {
 			uint32_t nsacr = NSACR_read();
-			nsacr |= NSACR_CP_FLAG(10) | NSACR_CP_FLAG(11);
+			nsacr |= (NSACR_CP_FLAG(10) | NSACR_CP_FLAG(11));
 			NSACR_write(nsacr);
-			printf("NSACR: %x => %x\n", nsacr, NSACR_read());
 			smc_coherence(0);
 		}
@@ -179,11 +178,9 @@
 	/* Allow coprocessor access */
 	uint32_t cpacr = CPACR_read();
-	printf("CPACR before: %x\n", cpacr);
 	/* FPU needs access to coprocessor 10 and 11.
 	 * Moreover, they need to have same access enabled */
 	cpacr &= ~(CPACR_CP_MASK(10) | CPACR_CP_MASK(11));
-	cpacr |= CPACR_CP_FULL_ACCESS(10) | CPACR_CP_FULL_ACCESS(11);
+	cpacr |= (CPACR_CP_FULL_ACCESS(10) | CPACR_CP_FULL_ACCESS(11));
 	CPACR_write(cpacr);
-	printf("CPACR after: %x\n", cpacr);
 
 	smc_coherence(0);