Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision de36fdd14b85a7e8805af1d78bcc5cb399e15335)
+++ kernel/arch/arm32/src/fpu_context.c	(revision b4b3a4cb875759030e2b7f47ce2db5432cc4ec82)
@@ -129,5 +129,5 @@
 	   ((cpacr & CPACR_CP11_MASK) == CPACR_CP11_USER_ACCESS))
 		return 1;
-
+	printf("No sccess to CP10 and CP11: %" PRIx32 "\n", cpacr);
 	return 0;
 }