Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision aa4e8d7e3d380d4b18dd6f638c21c6cf129f2b93)
+++ src/main/main.c	(revision 00a44bcdbac2f97f6c5a0ff1720644725999356e)
@@ -92,8 +92,8 @@
 	config.kernel_size = hardcoded_ktext_size + hardcoded_kdata_size + CONFIG_HEAP_SIZE + CONFIG_STACK_SIZE;
 
-	context_save(&ctx); /* There is no nead to save FPU context */
+	context_save(&ctx);
 	ctx.sp = config.base + config.kernel_size - 8;
 	ctx.pc = (__address) main_bsp_separated_stack;
-	context_restore(&ctx); /* There is no nead to load FPU context */
+	context_restore(&ctx);
 	/* not reached */
 }
@@ -193,5 +193,5 @@
 	CPU->saved_context.sp = (__address) &CPU->stack[CPU_STACK_SIZE-8];
 	CPU->saved_context.pc = (__address) main_ap_separated_stack;
-	context_restore(&CPU->saved_context); /* There is no nead to load FPU context */
+	context_restore(&CPU->saved_context);
 	/* not reached */
 }