Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 0ac99db3cfe5485b8b7db65da7c3aaa474443d22)
+++ kernel/Makefile	(revision f8d07859b6017d3d1d14299d1d1d20ec6b269e69)
@@ -86,5 +86,5 @@
 	OPTIMIZATION = s
 else
-	OPTIMIZATION = 0
+	OPTIMIZATION = 3
 endif
 
