Index: kernel/arch/arm32/src/fpu_context.c
===================================================================
--- kernel/arch/arm32/src/fpu_context.c	(revision 3de8aaa6a5e9e169046b3554936cc777b52b3a0b)
+++ kernel/arch/arm32/src/fpu_context.c	(revision cd8db93275d8a97a97acd69e5ce3f778b5d8fe66)
@@ -163,9 +163,7 @@
 #endif
 	if (sec_ext_is_implemented()) {
-		printf("Enabling FPU in %s context (%x)\n",
-			sec_ext_is_secure() ? "secure" : "unsecure",
-			SCR_read());
-		if (!sec_ext_is_secure()) {
-			sec_ext_call(SECURITY_CALL_ENABLE_CP10_11);
+		if (!sec_ext_is_monitor_mode()) {
+		// TODO enable this when we implement SMC handling
+		//	sec_ext_call(SECURITY_CALL_ENABLE_CP10_11);
 		} else {
 			uint32_t nsacr = NSACR_read();